AYALA RINCÓN, M.; HARTENSTEIN, R. W.; MAYA NETO, R.; JACOBI, R. P.; LLANOS, C. H. 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://revistas.unab.edu.co/index.php/rcc/article/view/1100. Acesso em: 4 may. 2024.