A classification of the one-argument primitive recursive functions. Jovan Naumovic — 1983 Archiv für mathematische Logik und Grundlagenforschung