Eliminating redundant recursive calls (1983)

by N H Cohen
Venue:ACM Transactions on Programming Languages and Systems