Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers - Workshop on Specification of Abstract Data Types 1991 Dourdan, France); Bidoit, M. (Michel) 1957-.; Choppy, C. (Christine).; COMPASS Workshop 1991 Dourdan, France). (Berlin New York Springer-Verlag, 1993)
Keywords: Abstract data types. -- Congresses