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