Algebraic Semantics of Imperative Programs - Goguen (MIT Press, 1996)
Monograph
fulltext
Keywords: Computing and Processing