Some techniques for recursion removal from recursive functions (1982)

by J Arscan, Y Kodratoff
Venue:ACM Trans. on Programming Languages and Systems