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 agosto 23, 2025. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1100.