Some Transformations for Developing Recursive Functions (1975)

by R M Burstall, J Darlington
Venue:Proc. of International Conference on Reliable Software. Los Angles