1. Ash, C., Knight, J.: Recursive structures and Eshov’s hierarchy. Math. Logic Q. 42, 461–468 (1996)
2. Blum, M.: On the size of machines. Inf. Control 11, 257–265 (1967)
3. Borodin, A.: Computational complexity: Theory and practice. In: Aho, A.V. (ed.) Currents in the Theory of Computing. Prentice-Hall, Englewood Cliffs (1973)
4. Buchholz, W.: Proof-theoretic analysis of termination proofs. Ann. Pure Appl. Logic 75, 57–65 (1995)
5. Burgin, M.: Grammars with prohibition and human-computer interaction. In: Proceedings of the Business and Industry Simulation Symposium, pp. 143–147. Society for Modeling and Simulation International (2005)