Algebraic Semantics of Imperative Programs | MIT Press eBooks | IEEE Xplore