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: http://jice.um.edu.my/index.php/MJCS/article/view/6185. Acesso em: 24 dec. 2024.