Jacques J. Arsac Yves Kodratoff Some Techniques for Recursion Removal from Recursive Programs. 295-322 1982 4 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357162.357171 db/journals/toplas/toplas4.html#ArsacK82