DANVY, O.; MALMKJÆR, K.; PALSBERG, J. Eta-Expansion Does The Trick (Revised Version). BRICS Report Series, v. 3, n. 17, 17 Jan. 1996.