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