Serna Montoya, E. (2011) «Métodos formales e Ingeniería de Software», Revista Virtual Universidad Católica del Norte, 1(30), pp. 158–184. Disponible en: http://34.231.144.216/index.php/RevistaUCN/article/view/62 (Accedido: 6 octubre 2024).