TY  - BOOK
AU  - Heering, J., ed.
AU  - Klint, P., ed.
ED  - Bergstra, J. A., ed.
TI  - Algebraic specification
T2  - ACM Press frontier series
SN  - 0201416352
U1  - 005.131 
PY  - 1989///
CY  - Wokingham
PB  - Addison wesley
ER  -