PakCat catalogue record

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