Danvy, O., Malmkjær, K. and Palsberg, J. (1995) “Eta-Expansion Does The Trick”, BRICS Report Series, 2(41). doi: 10.7146/brics.v2i41.21673.