TY  - BOOK
AU  - Bidoit M
ED  - Workshop on Specification of Abstract Data Type( 8th : 1991 : France )
ED  - Workshop on Specification of Abstract Data Type 8th
TI  - Recent trends in data type specification : selected papers
SN  - 3-540-56379-2
U1  - 5.7 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Abstract data type
KW  - Data type specification
ER  -