Algebraic Semantics of Imperative Programs (1996)

by Joseph A Goguen, Grant Malcolm