AYALA RINCÓN, Mauricio; HARTENSTEIN, Reiner W.; MAYA NETO, Rinaldi; JACOBI, Ricardo P.; LLANOS, Carlos Humberto. Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana de Computación, [S. l.], v. 3, n. 2, p. 1–15, 2002. Disponível em: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1100. Acesso em: 23 ago. 2025.