(1)
Danvy, O.; Malmkjær, K.; Palsberg, J. Eta-Expansion Does The Trick (Revised Version). BRICS 1996, 3.