Monien, Burkhard: Deterministic two-way one-head pushdown automata are very powerful. . In: Information processing letters. Jg.18.1984, S.239242