Danvy, O., Malmkjær, K. and Palsberg, J. (1996) “Eta-Expansion Does The Trick (Revised Version)”, BRICS Report Series, 3(17). doi: 10.7146/brics.v3i17.19979.