Mohd Zin, A., & Shukur, Z. (2004). Testing the Satisfiability of Z Formal Specifications by Using Prolog. Malaysian Journal of Computer Science, 17(1), 42–51. Retrieved from https://jpmm.um.edu.my/index.php/MJCS/article/view/6185