Algebraic Semantics of Imperative Programs (1996)

by J Goguen, G Malcolm