1. Finite automata minimization algorithms;Almeida,2012
2. Testing equivalence of regular languages;Almeida;J. Automata Lang. Combinatorics,2010
3. Formal Languages;Salomaa,1973
4. Grammar analysis, and parsing by abstract interpretation;Cousot,2006
5. Grammar semantics, analysis and parsing by abstract interpretation;Cousot;Theor. Comput. Sci.,2011