O. Danvy og U. P. Schultz, “Lambda-Lifting in Quadratic Time”, BRICS, bd. 11, nr. 12, jun. 2004.