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