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