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

[ACM] (1977) [ACM] JACM 24(1) Jan 1977  

Languages mentioned HOPE {1978}