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