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