Danvy, Olivier, et al. “Eta-Expansion Does The Trick”. BRICS Report Series, vol. 2, no. 41, Aug. 1995, doi:10.7146/brics.v2i41.21673.