1. Structural and behavioral modeling with monadic logics;Ayari,1999
2. Automata based symbolic reasoning in hardware verification;Basin;J. Formal Methods Systems Des.,1998
3. On equations for regular languages, finite automata, and sequential networks;Brzozowski;Theoret. Comput. Sci.,1980
4. Alternation;Chandra;J. ACM,1981
5. T. Cormen, C. Leiserson, R. Rivest, Introduction to Algorithms, 6th Edition, MIT Press, Cambridge, MA and McGraw-Hill, New York, 1992.