O. Danvy og U. P. Schultz, “Lambda-Lifting in Quadratic Time”, BRICS, bd. 10, nr. 26, aug. 2003.