SERNA MONTOYA, E. Métodos formales e Ingeniería de Software. Revista Virtual Universidad Católica del Norte, [S. l.], v. 1, n. 30, p. 158–184, 2011. Disponível em: https://revistavirtual.ucn.edu.co/index.php/RevistaUCN/article/view/62. Acesso em: 1 may. 2024.