MOHD ZIN, A.; SHUKUR, Z. Testing the Satisfiability of Z Formal Specifications by Using Prolog. Malaysian Journal of Computer Science, [S. l.], v. 17, n. 1, p. 42–51, 2004. Disponível em: https://vmis.um.edu.my/index.php/MJCS/article/view/6185. Acesso em: 27 dec. 2024.