@inproceedings(baltagetal.stanford:2016,
 author       = {A. Baltag and B. Renne},
 year         = {2016},
 title        = {Dynamic Epistemic Logic},
 editor       = {E.N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
)
@book(bryant:2002,
 author       = {V. Bryant},
 year         = {2002},
 title        = {The Sunday Times Brainteasers},
 publisher    = {Times Books},
)
@article(dehayeetal:2004,
 author       = {P. Dehaye and D. Ford and H. Segerman},
 year         = {2003},
 title        = {One hundred prisoners and a lightbulb},
 journal      = {Mathematical Intelligencer},
 volume       = {25(4)},
 pages        = {53--61},
 doi          = {10.1007/BF02984862},
)
@article(hvdetal.ajl:2005,
 author       = {H. van Ditmarsch and W. van der Hoek and B. Kooi},
 year         = {2005},
 title        = {Playing Cards with {H}intikka: An introduction to dynamic epistemic logic},
 journal      = {The Australasian Journal of Logic},
 volume       = {3},
 pages        = {108--134},
 url          = {http://www.philosophy.unimelb.edu.au/ajl/2005/},
)
@book(hvdetal.puzzle:2015,
 author       = {H. van Ditmarsch and B. Kooi},
 year         = {2015},
 title        = {One Hundred Prisoners and a Light Bulb},
 publisher    = {Copernicus},
 doi          = {10.1007/978-3-319-16694-0},
)
@article(freudenthal:1969,
 author       = {H. Freudenthal},
 year         = {1969},
 title        = {Problem {N}o.\ 223 (formulation of the Sum and Product problem)},
 journal      = {Nieuw Archief voor Wiskunde},
 volume       = {3(17)},
 pages        = {152},
)
@book(littlewood:1953,
 author       = {J.E. Littlewood},
 year         = {1953},
 title        = {A Mathematician's Miscellany},
 publisher    = {Methuen and Company},
)
@inproceedings(moss.handbook:2015,
 author       = {L. Moss},
 year         = {2015},
 title        = {Dynamic Epistemic Logic},
 editor       = {H. van Ditmarsch and J. Halpern and W. van der Hoek and B. Kooi},
 booktitle    = {Handbook of epistemic logic},
 publisher    = {College Publications},
 pages        = {261--312},
)
@article(yeo:2016,
 author       = {J.B.W. Yeo},
 year         = {2016},
 title        = {Tracing the origin of {C}heryl's birthday puzzle},
 journal      = {Maths Buzz},
 volume       = {16(1)},
 pages        = {2--4},
)