Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings - Ehrig, Hartmut (Lecture notes in computer science, 1991)