TY  - BOOK
AU  - Bidoit,M.
TI  - Algebraic system specification and development: a survey and annotated bibliography 
SN  - 3540540601
AV  - QA76.9 A23 A444
PY  - 1991///
CY  - Berlin
PB  - Springer
KW  - Abstract data types (Computer science)
ER  -