Jones, N. D. (1977). A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata. DAIMI Report Series, 6(75). https://doi.org/10.7146/dpb.v6i75.6492