Monien, Burkhard: Automata, languages and programming / Characterizations of time-bounded computations by limited primitive recursion. . In: Automata, languages and programming. Jg.2.1974, S.280293