Serna Montoya, E. (2011). Métodos formales e Ingeniería de Software. Revista Virtual Universidad Católica Del Norte, 1(30), 158–184. Recuperado a partir de http://34.231.144.216/index.php/RevistaUCN/article/view/62