TY  - BOOK
AU  - Goguen, Joseph A
TI  - Algebraic semantics of imperative programs
U1  - 512.1 G558A 
PY  - 1996///
CY  - Cambridge
PB  - MIT
ER  -