@inproceedings(bojanzero2016,
 author       = {Mikolaj Boja{\'n}czyk},
 year         = {2016},
 title        = {Thin {MSO} with a probabilistic path quantifier},
 booktitle    = {Proc. of ICALP},
)
@article(DBLP:journals/tocl/CarayolHS14,
 author       = {Arnaud Carayol and Axel Haddad and Olivier Serre},
 year         = {2014},
 title        = {Randomization in Automata on Infinite Trees},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {15},
 number       = {3},
 pages        = {24:1--24:33},
 doi          = {10.1145/2629336},
)
@book(Kechris,
 author       = {A. S. Kechris},
 year         = {1994},
 title        = {Classical Descriptive Set Theory},
 publisher    = {Springer Verlag},
 doi          = {10.1007/978-1-4612-4190-4},
)
@inproceedings(DBLP:conf/lfcs/MichalewskiM16,
 author       = {Henryk Michalewski and Matteo Mio},
 year         = {2016},
 title        = {Measure Quantifier in Monadic Second Order Logic},
 booktitle    = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
 pages        = {267--282},
 doi          = {10.1007/978-3-319-27683-0\_19},
)
@article(Rabin69,
 author       = {Michael O. Rabin},
 year         = {1969},
 title        = {Decidability of second-order theories and automata on infinite trees},
 journal      = {Transactions of American Mathematical Society},
 volume       = {141},
 pages        = {1--35},
 doi          = {10.1090/S0002-9947-1969-0246760-1},
)
@inbook(Thomas1997,
 author       = {Wolfgang Thomas},
 year         = {1997},
 title        = {Handbook of Formal Languages: Volume 3 Beyond Words},
 chapter      = {Languages, Automata, and Logic},
 pages        = {389--455},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-59126-6\_7},
)