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