Mohd Zin, A., & Shukur, Z. (2004). Testing the Satisfiability of Z Formal Specifications by Using Prolog.
Malaysian Journal of Computer Science
,
17
(1), 42–51. Retrieved from https://juku.um.edu.my/index.php/MJCS/article/view/6185