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.; Choppy, C. (Springer-Verlag,, 1993)