TY  - BOOK
AU  - Bergstra J A
AU  - Heering J
AU  - Klint P
TI  - Algebraic specification
U1  - 005.131 
PY  - 1989///
CY  - Wokingham
PB  - Addison-Wesley Pub.
KW  - Mathematical logic
ER  -