A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. - Morales, José F.; Carro, Manuel; Puebla, Germán; Hermenegildo, Manuel V. (2005)