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