Jones, Neil D. “A Note on Linear Time Simulation of Deterministic Two-Way Pushdown Automata”. DAIMI Report Series 6, no. 75 (April 1, 1977). Accessed May 6, 2024. https://tidsskrift.dk/daimipb/article/view/6492.