Algebraic Semantics of Imperative Programs door Grant Malcolm & Joseph Goguen