TY  - BOOK
AU  - Goguen,Joseph
AU  - Malcolm,Grant
TI  - Software engineering with OBJ: algebraic specification in action 
SN  - 0792377575
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic
KW  - Software engineering
KW  - Functional programming languages
KW  - Object-oriented programming (Computer science
N1  - Includes bibliographical references and index; Open access
ER  -