Ting Yu Owen Kaser A Note on "On the Conversion of Indirect to Direct Recursion". 1085-1087 1997 19 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/267959.269973 db/journals/toplas/toplas19.html#YuK97