Burstall , R. M.; Darlington, John "A Transformation System for Developing Recursive Programs" p44-67
(1977)
[ACM] (1977)
[ACM] JACM 24(1) Jan 1977
Languages mentioned
HOPE
{1978}