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 https://revistavirtual.ucn.edu.co/index.php/RevistaUCN/article/view/62