Two way deterministic pushdown automaton languages and some open problems in the theory of computation - Galil, Zvi (1974)