[ACM] JACM 24(1) Jan 1977

[ACM] [ACM] JACM  

Burstall , R. M.; Darlington, John (1977) Burstall , R. M.; Darlington, John "A Transformation System for Developing Recursive Programs" p44-67