A Transformation System for Developing Recursive Programs

Rod M. Burstall, John Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44-67, 1977. [doi]

Abstract

Abstract is missing.