Ayala Rincón M, Hartenstein RW, Maya Neto R, Jacobi RP, Llanos CH. Architectural specification, exploration and simulation through rewriting-logic. Rev. colomb. comput. [Internet]. 1 de diciembre de 2002 [citado 23 de agosto de 2025];3(2):1-15. Disponible en: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1100