Eta-expansion does the Trick (1996)

by Olivier Danvy, Karoline Malmkjær
Venue:ACM Transactions on