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