A generator of efficient abstract machine implementations and its application to emulator minimization - Morales, JF; Carro, M; Puebla, G; Hermenegildo, MV (Lecture Notes In Computer Science, 2005)