Alfred V. Aho Jeffrey D. Ullman John E. Hopcroft On the Computational Power of Pushdown Automata. 129-136 1970 4 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss4.html#AhoUH70