Serna Montoya, E. 2011. Métodos formales e Ingeniería de Software. Revista Virtual Universidad Católica del Norte. 1, 30 (jul. 2011), 158–184.