@article{Bar08RAIRO,
  title = "A hierarchy of automatic omega-words having a decidable MSO theory",
  author = "Vince Barany",
  year = "2008",
  editor = "D. Caucal and A. Siegel",
  journal = "RAIRO - Theor. Inf. Appl.",
  number = "3",
  pages = "417-450",
  publisher = "EDP Sciences",
  url = "http://www.logic.rwth-aachen.de/~vbarany/hom_ITA.pdf",
  volume = "42",
  doi = "10.1051/ita:2008008",
}