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. (Fernando) (Lecture notes in computer science, 1994)