Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers

Magne Haveraaen Olaf Owe Ole-Johan Dahl Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers COMPASS/ADT Lecture Notes in Computer Science 1130 Springer 1996 3-540-61629-2 db/conf/compass/compass95.html