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 ;)