Michel Bidoit Christine Choppy 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 COMPASS/ADT Lecture Notes in Computer Science 655 Springer 1993 3-540-56379-2 db/conf/compass/compass91.html