O. Danvy, K. Malmkjær, and J. Palsberg, “Eta-Expansion Does The Trick”, BRICS, vol. 2, no. 41, Aug. 1995.