Arango Isaza, F., D. A. Álvarez Eraso, y F. J. Moreno Arboleda. «Una Propuesta Para La formalización Del Diagrama De Clases En El Lenguaje Maude». Revista Politécnica, vol. 12, n.º 23, diciembre de 2016, pp. 39-50, https://revistas.elpoli.edu.co/index.php/pol/article/view/897.