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.