O. Danvy og U. P. Schultz, “Lambda-Lifting in Quadratic Time”, BRICS, bd. 9, nr. 30, jun. 2002.