Eta-expansion does the trick (1995)

by Olivier Danvy, Karoline Malmkjr, Jens Palsberg