A transformation system for developing recursive programs (1977)

by R M Burstall, J Darlington
Venue:J. ACM 24