O. Danvy, K. Malmkjær, og J. Palsberg, “Eta-Expansion Does The Trick (Revised Version)”, BRICS, bd. 3, nr. 17, jan. 1996.