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