Recursion Removal from Recursive Programs with Only One Descent Function.

Yusuke Ichikawa Zenjiro Konishi Yoshihiko Futamura Recursion Removal from Recursive Programs with Only One Descent Function. 187-196 http://search.ieice.org/bin/summary.php?id=e88-d_2_187&category=D&year=2005&lang=E&abst= 2005 88-D IEICE Transactions 2 db/journals/ieicet/ieicet88d.html#IchikawaKF05