K.: Relating accumulative and non-accumulative functional programs (2001)

by A Kühnemann, R Glück, Kakehi
Venue:RTA. Lecture Notes in Computer Science