Ayala Rincón, Mauricio, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, y Carlos Humberto Llanos. «Architectural Specification, Exploration and Simulation through Rewriting-Logic». Revista Colombiana de Computación 3, no. 2 (diciembre 1, 2002): 1–15. Accedido mayo 4, 2024. https://revistas.unab.edu.co/index.php/rcc/article/view/1100.