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