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