Some Transformations for Developing Recursive Programs (1975)

by R M Burstall, J Darlington
Venue:in Proc International Conference on Reliable Software pp465-472; Sigplan Notices 10,6