@book(ABO09,
 author       = {K. R. Apt and {de Boer}, F. R. and E. R. Olderog},
 year         = {2009},
 title        = {Verification of Sequential and Concurrent Programs},
 publisher    = {Springer},
 doi          = {10.1007/978-1-84882-745-5},
)
@article(AFK88,
 author       = {K. R. Apt and N. Francez and S. Katz},
 year         = {1988},
 title        = {Appraising fairness in distributed languages},
 journal      = {Distributed Computing},
 volume       = {2},
 number       = {4},
 pages        = {226--241},
 doi          = {10.1007/BF01872848},
)
@inproceedings(ADGH14,
 author       = {M. Attamah and {van Ditmarsch}, H. and D. Grossi and {Van der Hoek}, W.},
 year         = {2014},
 title        = {Knowledge and gossip},
 booktitle    = {Proceedings of ECAI'14},
 publisher    = {IOS Press},
 pages        = {21--26},
)
@article(baker72gossips,
 author       = {B. Baker and R. Shostak},
 year         = {1972},
 title        = {Gossips and Telephones},
 journal      = {Discrete Mathematics},
 volume       = {2},
 pages        = {197--193},
 doi          = {10.1016/0012-365X(72)90001-5},
)
@article(bumby81problem,
 author       = {R. Bumby},
 year         = {1981},
 title        = {A Problem with Telephones},
 journal      = {SIAM Journal of Algorithms and Discrete Methods},
 volume       = {2},
 pages        = {13--18},
 doi          = {10.1137/0602002},
)
@article(Dij75,
 author       = {E. W. Dijkstra},
 year         = {1975},
 title        = {Guarded commands, nondeterminacy and formal derivation of programs},
 journal      = {Communications of the {ACM}},
 volume       = {18},
 pages        = {453--457},
 doi          = {10.1145/360933.360975},
)
@article(fagin97knowledge,
 author       = {R. Fagin and J. Halpern and Y. Moses and M. Vardi},
 year         = {1997},
 title        = {Knowledge-Based Programs},
 journal      = {Distributed Computing},
 volume       = {10},
 pages        = {199--225},
 doi          = {10.1007/s004460050038},
)
@book(fagin95reasoning,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning about knowledge},
 publisher    = {The MIT Press},
 address      = {Cambridge},
)
@article(hajnal72cure,
 author       = {A. Hajnal and E. C. Milner and E. Szemeredi},
 year         = {1972},
 title        = {A Cure for the Telephone Disease},
 journal      = {Canadian Mathematical Bulletin},
 volume       = {15},
 pages        = {447--450},
 doi          = {10.4153/CMB-1972-081-0},
)
@article(HHL88,
 author       = {S. M. Hedetniemi and S. T. Hedetniemi and A. L. Liestman},
 year         = {1988},
 title        = {A survey of gossiping and broadcasting in communication networks},
 journal      = {Networks},
 volume       = {18},
 number       = {4},
 pages        = {319--349},
 doi          = {10.1002/net.3230180406},
)
@article(Hoa78,
 author       = {C. A. R. Hoare},
 year         = {1978},
 title        = {Communicating sequential processes},
 journal      = {Communications of the {ACM}},
 volume       = {21},
 pages        = {666--677},
 doi          = {10.1145/359576.359585},
)
@book(INM84,
 author       = {{INMOS Limited}},
 year         = {1984},
 title        = {Occam Programming Manual},
 publisher    = {Prentice-Hall International},
)
@book(jackson08social,
 author       = {M. O. Jackson},
 year         = {2008},
 title        = {Social and Economic Networks.},
 publisher    = {Princeton University Press},
)
@inproceedings(kurki-suonio86towards,
 author       = {Kurki-Suonio, R.},
 year         = {1986},
 title        = {Towards programming with Knowledge Expressions},
 booktitle    = {Proceedings of POPL'86},
 pages        = {140--149},
 doi          = {10.1145/512644.512657},
)
@book(meyer95epistemic,
 author       = {{J.-J. Ch.} Meyer and W. van der Hoek},
 year         = {1995},
 title        = {Epistemic Logic for AI and Computer Science},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {41},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511569852},
)
@inproceedings(parikhetal:1985,
 author       = {R. Parikh and R. Ramanujam},
 year         = {1985},
 title        = {Distributed Processing and the Logic of Knowledge},
 booktitle    = {Logic of Programs},
 series       = {LNCS 193},
 publisher    = {Springer},
 pages        = {256--268},
 doi          = {10.1007/3-540-15648-8},
 note         = {Similar to {\em JoLLI} 12: 453--467, 2003},
)
@article(seress86quick,
 author       = {\'{A} Seress},
 year         = {1986},
 title        = {Quick Gossiping without Duplicate Transmissions},
 journal      = {Graphs and Combinatorics},
 volume       = {2},
 pages        = {363--383},
 doi          = {10.1007/BF01788111},
)
@article(tijdeman:1971,
 author       = {R. Tijdeman},
 year         = {1971},
 title        = {On a telephone problem},
 journal      = {Nieuw Archief voor Wiskunde},
 volume       = {3(XIX)},
 pages        = {188--192},
)