TY  - BOOK
AU  - Goguen,Joseph
AU  - Malcolm,Grant
TI  - Software engineering with OBJ: Algebraic specification in action 
SN  - 0-7923-8684-1
PY  - 2000///
CY  - Boston [etc]
PB  - Kluwer Acad. Publ.
KW  - Software engineering
KW  - Programming languages
N1  - Includes bibliogr. references
ER  -