TY  - BOOK
AU  - Haveraaen,Magne
AU  - Owe,Olaf
AU  - Dahl,Ole-Johan,1931-
ED  - Workshop on Specification of Abstract Data Types
ED  - COMPASS Workshop
TI  - 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 
SN  - 3540616292
SN  - 03029743
AV  - QA76.9 A23 W67 1995
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Abstract data types (Computer science)
KW  - Congresses
ER  -