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