TY  - BOOK
AU  - Ehrig H
ED  - Worshop on Specification of Abstact Data Type( 7th : 1990 : Germany )
ED  - Worshop on Specification of Abstact Data Type 7th
TI  - Recent trends in data type specification : proceedings
SN  - 3-540-54496-8
U1  - 5.7 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Abstract data types
KW  - Data type specification
ER  -