Ager, M. S., O. Danvy, and M. Goldberg. “A Symmetric Approach to Compilation and Decompilation”. BRICS Report Series, vol. 9, no. 37, Aug. 2002, doi:10.7146/brics.v9i37.21752.