Ayala Rincón, M., Hartenstein, R. W., Maya Neto, R., Jacobi, R. P., & Llanos, C. H. (2002). Architectural specification, exploration and simulation through rewriting-logic. Revista Colombiana De Computación, 3(2), 1–15. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1100