Arango Isaza, F. et al. 2016. Una propuesta para la formalización del diagrama de clases en el lenguaje Maude. Revista Politécnica. 12, 23 (dez. 2016), 39–50.