Recent trends in data type specification : proceedings - Sannella D; Workshop on Specification of Abstract Data Types( 5th : 1987 : Scotland ); Workshop on Specification of Abstract Data Types 5th , Scotland 1987 (Berlin Springer Verlag, 1988)
Keywords: Abstract data types; Data type specification