1. On a decision method in restricted second order arithmetic;Büchi;Stud. Logic Found. Math.,1966
2. Automata on infinite objects;Thomas,1990
3. Recognizing ω-regular languages with probabilistic automata;Baier,2005
4. Probabilistic ω-automata;Baier;J. ACM,2012
5. On the power of quantum finite state automata;Kondacs,1997