M. S. Ager, O. Danvy, and M. Goldberg, “A Symmetric Approach to Compilation and Decompilation”, BRICS, vol. 9, no. 37, Aug. 2002.