@article{zielonka1998,
  author    = {Wiesław Zielonka},
  title     = {Infinite Games on Finitely Coloured Graphs with Applications
               to Automata on Infinite Trees},
  journal   = {Theor. Comput. Sci.},
  volume    = {200},
  number    = {1-2},
  year      = {1998},
  pages     = {135-183},
  ee        = {https://doi.org/10.1016/S0304-3975(98)00009-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@misc{kreutzer2015,
  author    = {Stephan Kreutzer},
  title     = {{Logik}, {Spiele} und {Automaten}},
  note      = {Lecture notes for a master's course on mathematical logic and games at Technische Universit\"at Berlin (in German)},
  year      = 2015,
  howpublished = {\url{http://logic.las.tu-berlin.de/Teaching/index.html}}
}
@inproceedings{automata2002/kuesters,
  author    = {Ralf K{\"u}sters},
  title     = {Memoryless Determinacy of Parity Games},
  booktitle = {Automata, Logics, and Infinite Games},
  year      = {2001},
  pages     = {95-106},
  ee        = {https://doi.org/10.1007/3-540-36387-4_6},
  crossref  = {automata2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{automata2002,
  editor    = {Erich Gr{\"a}del and
               Wolfgang Thomas and
               Thomas Wilke},
  title     = {Automata, Logics, and Infinite Games: A Guide to Current
               Research [outcome of a Dagstuhl seminar, February 2001]},
  booktitle = {Automata, Logics, and Infinite Games},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2500},
  year      = {2002},
  isbn      = {3-540-00388-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@incollection{bradfield2007,
  title = "Modal mu-calculi",
  editor = "Patrick Blackburn and Johan Van Benthem and Frank Wolter",
  booktitle = "Handbook of Modal Logic",
  publisher = "Elsevier",
  year = "2007",
  volume = "3",
  pages = "721 - 756",
  series = "Studies in Logic and Practical Reasoning",
  issn = "1570-2464",
  doi = "10.1016/S1570-2464(07)80015-2",
  url = "http://www.sciencedirect.com/science/article/pii/S1570246407800152",
  author = "Julian Bradfield and Colin Stirling"
}
@article{Coinductive-AFP,
  author  = {Andreas Lochbihler},
  title   = {Coinductive},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2010,
  note    = {\url{http://isa-afp.org/entries/Coinductive.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}