Stores, Variables, Values, and Assignment | part of Algebraic Semantics of Imperative Programs | MIT Press books | IEEE Xplore