Carlo Batini, Alberto Pettorossi: On subrecursiveness in weak combinatory logic. Lambda-Calculus and Computer Science Theory 1975: 297-311