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 - Bidoit, M. (Michel) 1957-; Choppy, C. (Christine) (Lecture notes in computer science, 1993)