TY  - BOOK
AU  - 
AU  - Goguen, Joseph., Ed.
TI  - Software engineering with OBJ: algebraic specification in action
SN  - 9780792377573
U1  - 005.1 
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic
KW  - Software engineering
KW  - Functional programming languages
ER  -