Classification of Computable Functions by Primitive Recursive Classes

Classification of Computable Functions by Primitive Recursive Classes Michael Machtey 251-257 conf/stoc/STOC3 1971 STOC db/conf/stoc/stoc71.html#Machtey71