Arango Isaza F, Álvarez Eraso DA, Moreno Arboleda FJ. Una propuesta para la formalización del diagrama de clases en el lenguaje Maude. Rev. politec. [Internet]. 30 de diciembre de 2016 [citado 21 de diciembre de 2024];12(23):39-50. Disponible en: https://revistas.elpoli.edu.co/index.php/pol/article/view/897