TY  - BOOK
AU  - Goguen, Joseph
AU  - Malcolm, Grant
TI  - Algebraic semantics of imperative programs
SN  - 9780262071727
U1  - 005.13 GOG 
PY  - 1996///
CY  - Cambridge, MA
PB  - MIT Press
KW  - Algebra
ER  -