Algebraic Semantics of Imperative Programs (1996)

by Joseph Goguen, Grant Malcolm
Venue:Mathematical Structures in Computer Science