Mohd Zin, A.; Shukur, Z. Testing the Satisfiability of Z Formal Specifications by Using Prolog. MJCS 2004, 17, 42-51.