N. D. Jones, “A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata”, DPB, vol. 6, no. 75, Apr. 1977.