Algebraic semantics of imperative programs - Goguen, Joseph. (MIT Press, 1996)