@article{Ric-Mehrs,
  title = "A Runs-and-Systems Semantics for Logics of Announcement",
  author = "Riccardo Pucella and Mehrnoosh Sadrzadeh",
  year = "2009",
  journal = "LNCS, volume 6006,  Subseries FoLLI-LNAI",
  publisher = "University of Amsterdam",
}