Deriving Compilers and Virtual Machines for a Multi-level Language. - Atsushi Igarashi; Masashi Iwaki (APLAS, 2007)