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 December 26, 2025. https://tidsskrift.dk/daimipb/article/view/6492.