A new approach to recursion removal (1992)

by P G Harrison, H Khoshnevisan
Venue:Theoret. Comput. Sci