@InCollection{Tho90,
  author = 	 {Wolfgang Thomas},
  title = 	 {Automata on infinite objects},
  booktitle = 	 {Handbook of Theoretical Computer Science},
  pages =	 {133--192},
  publisher =	 {Elsevier Science Publishers},
  year =	 1990,
  editor =	 {Jan van Leeuwen},
  volume =	 {B: Formal Methods and Semantics}
}

@InProceedings{SS98,
  author = 	 {Colin Stirling and Perdita Stevens},
  title = 	 {Practical model-checking using games},
  booktitle = 	 {TACAS 1998},
  pages =	 {85-101},
  year =	 1998,
  number =	 1384,
  series =       {LNCS}
}

@ARTICLE{Gr02,
  AUTHOR = {E.~Gr{\"a}del},
  TITLE = {Guarded fixed point logic and the monadic theory of
                 trees},
  JOURNAL = {Theoretical Computer Science},
  VOLUME = {288},
  YEAR = {2002},
  PAGES = {129--152},
  URL = {http://www-mgi.informatik.rwth-aachen.de/Publications/pub/graedel/Gr-tcs01.ps}
}