Subrecursive Programming Languages, Part I: efficiency and program structure

Robert L. Constable, Allan Borodin. Subrecursive Programming Languages, Part I: efficiency and program structure. Journal of the ACM, 19(3):526-568, 1972. [doi]

Abstract

Abstract is missing.