TY  - BOOK
AU  - Bidoit,M.
AU  - Choppy,C.
ED  - Workshop on Specification of Abstract Data Types
ED  - COMPASS Workshop
TI  - Recent trends in data type specification: 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers 
SN  - 0387563792
AV  - QA76.9.A23 W67 1991
U1  - 005.7/3 20
PY  - 1993///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Abstract data types
KW  - Congresses
ER  -