Henson, M. C., Reeves, S., & Bowen, J. P. (2003). Z Logic and its Consequences. Computing and Informatics, 22(3-4), 381–415. https://cai.type.sk/content/2003/3-4/z-logic-and-its-consequences/