1. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Log. Grundl. Math.,1960
2. Decidability of second-order theories and automata on infinite trees;Rabin;Trans. Am. Math. Soc.,1969
3. MONA & FIDO: the logic-automaton connection in practice;Klarlund,1997
4. MONA: monadic second-order logic in practice;Henriksen,1995
5. Symbolic boolean manipulation with Ordered Binary Decision Diagrams;Bryant;ACM Comput. Surv.,1992