Subrecursive programming languages II: on program size (1971)

by R Constable
Venue:J. Comput. Syst. Sci