Danvy, O., og U. P. Schultz. “Lambda-Lifting in Quadratic Time”. BRICS Report Series, bd. 10, nr. 26, august 2003, doi:10.7146/brics.v10i26.21794.