Some transformations for developing recursive programs (1977)

by R M Burstall, J Darlington
Venue:Journal of ACM