Henson, M.C. et al. 2012. Z Logic and its Consequences. Computing and Informatics. 22, 3-4 (Feb. 2012), 381–415.