TY  - BOOK
AU  - Ehrig,Hartmut
AU  - Orejas,F.
ED  - Workshop on Specification of Abstract Data Types
ED  - COMPASS Workshop
TI  - Recent trends in data type specification: 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers 
SN  - 3540578676 (Berlin : acid-free paper)
AV  - QA76.9.A23 W67 1992
U1  - 005.7/3 20
PY  - 1994///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Abstract data types (Computer science)
KW  - Congresses
N1  - Includes bibliographical references
ER  -