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 (dic. 2016), 39–50.