Recent trends in data type specification : proceedings - Ehrig H; Worshop on Specification of Abstact Data Type( 7th : 1990 : Germany ); Worshop on Specification of Abstact Data Type 7th , Germany 1990 (Berlin Springer Verlag, 1991)
Keywords: Abstract data types; Data type specification