Ayala Rincón, M., R. W. Hartenstein, R. Maya Neto, R. P. Jacobi, y C. H. Llanos. «Architectural Specification, Exploration and Simulation through Rewriting-Logic». Revista Colombiana De Computación, vol. 3, n.º 2, diciembre de 2002, pp. 1-15, https://revistas.unab.edu.co/index.php/rcc/article/view/1100.