P. Jančar. Equivalences of Pushdown Systems Are Hard, 2014. ↩
J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation, first edition, 1979. /wiki/Introduction_to_Automata_Theory,_Languages,_and_Computation ↩