Mohd Zin, A. and Shukur, Z. 2004. Testing the Satisfiability of Z Formal Specifications by Using Prolog. Malaysian Journal of Computer Science. 17, 1 (Jun. 2004), 42–51.