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