TY  - BOOK
AU  - Sannella D
ED  - Workshop on Specification of Abstract Data Types( 5th : 1987 : Scotland )
ED  - Workshop on Specification of Abstract Data Types 5th
TI  - Recent trends in data type specification : proceedings
SN  - 3-540-50325-0
U1  - 5.7 
PY  - 1988///
CY  - Berlin
PB  - Springer Verlag
KW  - Abstract data types
KW  - Data type specification
ER  -