M. C. Henson, S. Reeves, and J. P. Bowen, “Z Logic and its Consequences”, Comput. Inform., vol. 22, no. 3-4, pp. 381–415, Feb. 2012.