O. Danvy, “An Extensional Characterization of Lambda-Lifting and Lambda-Dropping”, BRICS, bd. 6, nr. 21, jan. 1999.