Ager, M. S.; Danvy, O.; Goldberg, M. A Symmetric Approach to Compilation and Decompilation. BRICS 2002, 9.