O. Danvy, K. Malmkjær, and J. Palsberg, “Eta-Expansion Does The Trick (Revised Version)”, BRICS, vol. 3, no. 17, Jan. 1996.