Mohd Zin, A., and Z. Shukur. “Testing the Satisfiability of Z Formal Specifications by Using Prolog”.
Malaysian Journal of Computer Science
, vol. 17, no. 1, June 2004, pp. 42-51, https://juku.um.edu.my/index.php/MJCS/article/view/6185.