The axiomatization of override and update

de Bakker, 1980 Balbes, 1974 Berendsen, 2007, Compositional abstraction in real-time model checking, vol. 5215, 233 Birkhoff, 1935, On the structure of abstract algebras, Proceedings of the Cambridge Philosophical Society, 31, 433, 10.1017/S0305004100013463 Chang, 1990, Model Theory, vol. 73 Damm, 1998, A compositional real-time semantics of STATEMATE designs, vol. 1536, 186 Davey, 1990 Goldberg, 1988, A new approach to the maximum-flow problem, Journal of the ACM, 35, 921, 10.1145/48014.61051 C. Grabmayer, A. Visser, Axiomatization of generalized Boolean algebras, personal communication, 2007 Jones, 1986 Nipkow, 2002, Isabelle/HOL: A Proof Assistant for Higher-Order Logic, vol. 2283 Post, 1941, The Two-Valued Iterative Systems of Mathematical Logic, vol. 5 Spivey, 1989 Stone, 1935, Subsumption of Boolean algebras under the theory of rings, Proceedings of the National Academy of Sciences of the USA, 21, 103, 10.1073/pnas.21.2.103 Winskel, 1993 Yices