Algebraic Semantics of Imperative Programs (1996)

by J A Goguen, G Malcolm