Serna Montoya, Edgar. 2011. «Métodos Formales E Ingeniería De Software». Revista Virtual Universidad Católica Del Norte 1 (30):158-84. https://revistavirtual.ucn.edu.co/index.php/RevistaUCN/article/view/62.