A family of rules for recursion removal (1976)

by H Partsch, P Pepper
Venue:Information Processing Letters