Recent trends in data type specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings.
Bibliographic details
Additional authors
edited by H. Ehrig edited by K. P. Jantke edited by H. Reichel