@article{gira:hvand09,
  author	=	{Patrick Girard},
  title	=	{Review:  H. van Ditmarsch,  W. van der Hoek and B. Kooi's: Dynamic Epistemic Logic},
  journal	=	{The Australasian Journal of Logic},
  year	=	2009,
  volume	=	7,
  pages	=	{26--31},
  URL	=	{http://www.philosophy.unimelb.edu.au/ajl/2009/},
}