Leslie G. Valiant Regularity and Related Problems for Deterministic Pushdown Automata. 1-10 1975 22 J. ACM 1 http://doi.acm.org/10.1145/321864.321865 db/journals/jacm/jacm22.html#Valiant75