@article(bes08,
 author       = "A. B{\`e}s",
 year         = "2008",
 title        = "{An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet}",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 pages        = "1--23",
 doi          = "10.2168/LMCS-4(1:8)2008",
)
@inproceedings(bmssd,
 author       = "M. Bojanczyk and A. Muscholl and T. Schwentick and L. Segoufin and C. David",
 year         = "2006",
 title        = "Two-variable logic on words with data",
 booktitle    = "Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS '06)",
 publisher    = "IEEE Computer Society",
 pages        = "7--16",
 doi          = "10.1109/LICS.2006.51",
)
@inproceedings(buc62,
 author       = "J.R. B{\"u}chi",
 year         = "1962",
 title        = "{On a decision method in restricted second order arithmetic}",
 booktitle    = "Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress",
 publisher    = "Stanford Univ. Press",
 pages        = "1--11",
)
@article(cg09,
 author       = "C. Choffrut and S. Grigorieff",
 year         = "2009",
 title        = "Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al",
 journal      = "Theor. Comput. Sci.",
 volume       = "410",
 number       = "1",
 pages        = "16--34",
 doi          = "10.1016/j.tcs.2008.07.018",
)
@book(eft07,
 author       = "H.-D. Ebbinghaus and J. Flum and W. Thomas",
 year         = "2007",
 title        = "Einf{\"u}hrung in die mathematische Logik",
 edition      = "5",
 publisher    = "Spektrum Akademischer Verlag",
 address      = "Heidelberg",
)
@inproceedings(kl06,
 author       = "D. Kuske and M. Lohrey",
 year         = "2006",
 title        = "Monadic chain logic over iterations and applications to pushdown systems",
 booktitle    = "Logic in Computer Science, 2006",
 organization = "IEEE Computer Society",
 pages        = "91--100",
 doi          = "10.1109/LICS.2006.35",
)
@book(min67,
 author       = "M. Minsky",
 year         = "1967",
 title        = "Computation: finite and infinite machines",
 publisher    = "Prentice-Hall",
)
@article(nsv04,
 author       = "F. Neven and T. Schwentick and V. Vianu",
 year         = "2004",
 title        = "Finite state machines for strings over infinite alphabets",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "5",
 number       = "3",
 pages        = "403--435",
 doi          = "10.1145/1013560.1013562",
)
@inproceedings(pt93,
 author       = "A. Potthoff and W. Thomas",
 year         = "1993",
 title        = "Regular tree languages without unary symbols are star-free",
 booktitle    = "Proceedings of Fundamentals of Computation Theory, FCT '93",
 series       = "LNCS",
 volume       = "710",
 publisher    = "Springer",
 pages        = "396--405",
 doi          = "10.1007/3-540-57163-9\_34",
)
@article(rab69,
 author       = "M.O. Rabin",
 year         = "1969",
 title        = "Decidability of second-order theories and automata on infinite trees",
 journal      = "Trans. Amer. Math. Soc",
 volume       = "141",
 number       = "1",
 pages        = "1--35",
 doi          = "10.2307/1995086",
)
@article(ram30,
 author       = "F.P. Ramsey",
 year         = "1930",
 title        = "{On a problem of formal logic}",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "2",
 number       = "1",
 pages        = "264",
 doi          = "10.1112/plms/s2-30.1.264",
)
@inproceedings(sem84,
 author       = "A.L. Semenov",
 year         = "1984",
 title        = "Decidability of monadic theories",
 booktitle    = "Proceedings of Mathematical Foundations of Computer Science, MFCS '84",
 series       = "LNCS",
 volume       = "176",
 publisher    = "Springer",
 pages        = "162--175",
 doi          = "10.1007/BFb0030296",
)
@article(she75,
 author       = "S. Shelah",
 year         = "1975",
 title        = "The monadic theory of order",
 journal      = "Annals of Mathematics",
 volume       = "102",
 pages        = "379--419",
 doi          = "10.2307/1971037",
)
@techreport(stu75,
 author       = "J. Stupp",
 year         = "1975",
 title        = "The lattice-model is recursive in the original model",
 type         = "Technical Report",
 institution  = "Institute of Mathematics, The Hebrew University",
 address      = "Jerusalem",
)
@incollection(tho90b,
 author       = "W. Thomas",
 year         = "1990",
 title        = "Automata on Infinite Objects",
 editor       = "J. van Leeuwen",
 booktitle    = "Handbook of Theoretical Computer Science: Formal Models and Sematics",
 volume       = "B",
 publisher    = "Elsevier and MIT Press",
 pages        = "133--192",
)
@inproceedings(tho90,
 author       = "W. Thomas",
 year         = "1990",
 title        = "Infinite trees and automaton definable relations over omega-words",
 booktitle    = "Proceedings of the 7th Annual Symposium on Theoretical Aspects of Computer Science, STACS '90",
 publisher    = "Springer",
 pages        = "263--277",
 doi          = "10.1007/3-540-52282-4\_49",
)
@incollection(tho97,
 author       = "W. Thomas",
 year         = "1997",
 title        = "Languages, automata, and logic",
 editor       = "G. Rozenberg and A. Salomaa",
 booktitle    = "{Handbook of formal languages}",
 volume       = "3",
 publisher    = "Springer, New York",
 pages        = "389--455",
 doi          = "10.1007/978-3-642-59126-6_7",
)
@incollection(tho09,
 author       = "W. Thomas",
 year         = "2009",
 title        = "Path logics with synchronization",
 editor       = "K. Lodaya and M. Mukund and R. Ramanujam",
 booktitle    = "{Perspectives in Concurrency Theory}",
 series       = "IARCS-Universities",
 publisher    = "Universities Press",
 pages        = "469--481",
)
@article(wal02,
 author       = "I. Walukiewicz",
 year         = "2002",
 title        = "Monadic second-order logic on tree-like structures",
 journal      = "Theoretical Computer Science",
 volume       = "275",
 number       = "1-2",
 pages        = "311--346",
 doi          = "10.1016/S0304-3975(01)00185-2",
)