Recent trends in data type specification : papers - Ehrig Hartmut; Workshop on Specification of Abstract Data Types and joint with COMPASS( 4th : 1992 : Spain ); Workshop on Specification of Abstract Data Types and joint with COMPASS 4th , Spain 1992 (Berlin Springer Verlag, 1994)
Keywords: Abstract data types; Database system