Monien, Burkhard: Automata, languages and programming / Characterizations of time-bounded computations by limited primitive recursion. In: Automata, languages and programming. Vol.2.1974. 2009, page 280-293