Jeffrey D. Ullman Halting Stack Automata. 550-563 1969 16 J. ACM 1 http://doi.acm.org/10.1145/321541.321544 db/journals/jacm/jacm16.html#Ullman69