@article{DBLP:journals/toplas/ArsacK82,
author = {Jacques J. Arsac and
Yves Kodratoff},
title = {Some Techniques for Recursion Removal from Recursive Programs},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {4},
number = {2},
year = {1982},
pages = {295-322},
ee = {http://doi.acm.org/10.1145/357162.357171},
bibsource = {DBLP, http://dblp.uni-trier.de}
}