Some Techniques for Recursion Removal From Recursive Functions (1982)

by J Arsac, Y Kodratoff
Venue:ACM Toplas