TY  - BOOK
AU  - Haveraaen,Magne
AU  - Owe,Olaf
AU  - Dahl,Ole-Johan
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 (alk. paper)
U1  - 005.73 22
PY  - 1996///
CY  - Berlin, New York
PB  - Springer
KW  - Abstract data types (Computer science)
KW  - Congresses
N1  - Includes bibliographical references and index
ER  -