Recursion Removal from Recursive Programs with One Descent Function.

Yusuke Ichikawa Zenjiro Konishi Yoshihiko Futamura Recursion Removal from Recursive Programs with One Descent Function. 383-395 2002 conf/aplas/2002 APLAS db/conf/aplas/aplas2002.html#IchikawaKF02