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