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