Robert L. Constable: On the Size of Programs in Subrecursive Formalisms. STOC 1970: 1-9