@book(allouche,
 author       = "J-P. Allouche and J. O. Shallit",
 year         = "2003",
 title        = "Automatic Sequences - Theory, Applications, Generalizations",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511546563",
)
@inproceedings(angluin,
 author       = "D. Angluin",
 year         = "1980",
 title        = "Local and Global Properties in Networks of Processors (Extended Abstract)",
 booktitle    = "STOC",
 pages        = "82--93",
 doi          = "10.1145/800141.804655",
)
@incollection(Areces,
 author       = "C. Areces and B. ten Cate",
 year         = "2006",
 title        = "Hybrid Logics",
 editor       = "P. Blackburn and F. Wolter and J. van Benthem",
 booktitle    = "Handbook of Modal Logics",
 publisher    = "Elsevier",
 pages        = "821--868",
 doi          = "10.1016/S1570-2464(07)80017-6",
)
@incollection(johan,
 author       = "P. Blackburn and J. van Benthem",
 year         = "2006",
 title        = "{Modal logic: a Semantic Perspective}",
 editor       = "Frank Wolter Patrick Blackburn, Johan van Benthem",
 booktitle    = "{Handbook of Modal Logic}",
 publisher    = "Elsevier",
 pages        = "1--82",
 doi          = "10.1016/S1570-2464(07)80004-8",
)
@book(han,
 author       = "P. Blackburn and J. Benthem and F. Wolter",
 year         = "2006",
 title        = "Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)",
 publisher    = "Elsevier Science Inc.",
 address      = "New York, NY, USA",
)
@book(blackburn,
 author       = "P. Blackburn and M. de Rijke and Y. Venema",
 year         = "2001",
 title        = "Modal Logic",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
 doi          = "10.1017/CBO9781107050884",
)
@book(ebbinghaus,
 author       = "H-D. Ebbinghaus and J. Flum and W. Thomas",
 year         = "1994",
 title        = "Mathematical logic",
 series       = "Undergraduate texts in mathematics",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4757-2355-7",
)
@inproceedings(hella,
 author       = "L. Hella and M. J{\"a}rvisalo and A. Kuusisto and J. Laurinharju and T. Lempi{\"a}inen and K. Luosto and J. Suomela and J. Virtema",
 year         = "2012",
 title        = "Weak models of distributed computing, with connections to modal logic",
 booktitle    = "PODC",
 pages        = "185--194",
 doi          = "10.1145/2332432.2332466",
)
@inproceedings(hella2,
 author       = "L. Hella and M. J{\"a}rvisalo and A. Kuusisto and J. Laurinharju and T. Lempi{\"a}inen and K. Luosto and J. Suomela and J. Virtema",
 year         = "2014",
 title        = "Weak Models of Distributed Computing, with Connections to Modal Logic",
 volume       = "Online first",
 doi          = "10.1007/s00446-013-0202-3",
)
@book(Immerman,
 author       = "N. Immerman",
 year         = "1999",
 title        = "Descriptive complexity",
 series       = "Graduate texts in computer science",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-0539-5",
)
@inproceedings(kuusi,
 author       = "A. Kuusisto",
 year         = "2013",
 title        = "Modal logic and distributed message passing automata",
 booktitle    = "CSL",
 pages        = "452--468",
 doi          = "10.4230/LIPIcs.CSL.2013.452",
)
@book(libkin,
 author       = "L. Libkin",
 year         = "2004",
 title        = "Elements of Finite Model Theory",
 publisher    = "Springer",
 doi          = "10.1007/978-3-662-07003-1",
)
@article(suomela,
 author       = "J. Suomela",
 year         = "2013",
 title        = "Survey of local algorithms",
 journal      = "ACM Comput. Surv.",
 volume       = "45",
 number       = "2",
 pages        = "24",
 doi          = "10.1145/2431211.2431223",
)