Monien, Burkhard: Automata, languages and programming / Relationships between pushdown automata and tape-bounded turing machines. In: Automata, languages and programming. Jg.1973. 2009, S. 575-583