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 - Workshop on Specification of Abstract Data Types 1992 Caldes de Malavella, Spain); Ehrig, Hartmut; Orejas, F. (Fernando).; COMPASS Workshop 1992 Caldes de Malavella, Spain). (Berlin New York Springer-Verlag, 1994)
Includes bibliographical references.
Keywords: Abstract data types (Computer science) -- Congresses