Primitiv-rekursive Grzegorczyk-Hierarchien - Verbeek, Rutger (Inst. f. Informatik, 1978)