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: http://34.231.144.216/index.php/RevistaUCN/article/view/62. Acesso em: 6 oct. 2024.