Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2009). Description and optimization of abstract machines in a dialect of Prolog. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.