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