A. Mohd Zin and Z. Shukur, “Testing the Satisfiability of Z Formal Specifications by Using Prolog”, MJCS, vol. 17, no. 1, pp. 42–51, Jun. 2004.