Jones, N. D. A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata. DPB 1977, 6.