Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/02/01 Vol. E88-DNo. 2pp. 187-196 Type of Manuscript: PAPER Category: Fundamentals of Software and Theory of Programs Keyword: program transformation, recursion removal, tupling,