Henson, M. C.; Reeves, S.; Bowen, J. P. Z Logic and Its Consequences. Comput. Inform. 2012, 22, 381-415.