Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / - Ehrig, Hartmut.; Orejas, F. (Springer-Verlag,, 1994)