O. Danvy, K. Malmkjær, og J. Palsberg, “Eta-Expansion Does The Trick”, BRICS, bd. 2, nr. 41, aug. 1995.