M. Ayala Rincón, R. W. Hartenstein, R. Maya Neto, R. P. Jacobi, y C. H. Llanos, «Architectural specification, exploration and simulation through rewriting-logic», Rev. colomb. comput., vol. 3, n.º 2, pp. 1–15, dic. 2002.