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