A new approach to recursion removal (1992)

by P Harrison, H Khoshnevisan
Venue:Theoretical Computer Science