Ayala Rincón, M., Hartenstein, R. W., Maya Neto, R., Jacobi, R. P. y Llanos, C. H. (2002) «Architectural specification, exploration and simulation through rewriting-logic», Revista Colombiana de Computación, 3(2), pp. 1–15. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1100 (Accedido: 4 mayo 2024).