F. Arango Isaza, D. A. Álvarez Eraso, y F. J. Moreno Arboleda, «Una propuesta para la formalización del diagrama de clases en el lenguaje Maude», Rev. politec., vol. 12, n.º 23, pp. 39–50, dic. 2016.