Mohd Zin, Abdullah, and Zarina Shukur. “Testing the Satisfiability of Z Formal Specifications by Using Prolog”. Malaysian Journal of Computer Science 17, no. 1 (June 1, 2004): 42–51. Accessed January 10, 2025. http://mjs.um.edu.my/index.php/MJCS/article/view/6185.