Ayala Rincón, Mauricio, et al. «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/rcc/article/view/1100.