A transformation system for developing recursive programs (1977)

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