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 December 23, 2024. https://juku.um.edu.my/index.php/MJCS/article/view/6185.