(1)
Danvy, O.; Malmkjær, K.; Palsberg, J. Eta-Expansion Does The Trick. BRICS 1995, 2.