1. Noncommutative Rational Series with Applications;Berstel,2011
2. Partial Conway and iteration semirings;Bloom;Fundam. Inform.,2008
3. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Log. Grundl. Math.,1960
4. Weighted automata and weighted logics;Droste;Theor. Comput. Sci.,2007
5. Weighted automata and weighted logics;Droste,2009