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