Some techniques for recursion removal from recursive functions (1982)

by J Arsac, Y Kodratoff
Venue:ACM Transactions on Programming Languages and Systems