Mohd Zin, A. and Shukur, Z. (2004) “Testing the Satisfiability of Z Formal Specifications by Using Prolog”, Malaysian Journal of Computer Science, 17(1), pp. 42–51. Available at: https://ejournal.um.edu.my/index.php/MJCS/article/view/6185 (Accessed: 18 May 2024).