Recent trends in data type specification : selected papers - Bidoit M; Workshop on Specification of Abstract Data Type( 8th : 1991 : France ); Workshop on Specification of Abstract Data Type 8th , France 1991 (Berlin Springer Verlag, 1993)
Keywords: Abstract data type; Data type specification