TY  - BOOK
AU  - Goguen,Joseph
AU  - Malcolm,Grant
TI  - Algebraic semantics of imperative programs
SN  - 026207172X
PY  - 1996///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Algebra
N1  - Includes bibliographical references (p. [223]-225) and index
ER  -