Applying ELAN Strategies in Simulating Processors over Simple Architectures. - Mauricio Ayala-Rincón; Rinaldi Maya Neto; Ricardo P. Jacobi; Carlos H. Llanos; Reiner W. Hartenstein (WRS, 2002)

Architectural Specification, Exploration and Simulation Through Rewriting-Logic. - Mauricio Ayala-Rincón; Reiner W. Hartenstein; Rinaldi Maya Neto; Ricardo P. Jacobi; Carlos H. Llanos (Rev. Colomb. de Computación, 2002)