Bibliography | part of Algebraic Semantics of Imperative Programs | MIT Press books | IEEE Xplore