@article{CirsteaSadr,
  title = "Coalgebraic Epistemic Update without Change of Model",
  author = "C. Cirstea and M. Sadrzadeh",
  year = "2007",
  journal = "LNCS, CALCO, Bergen, August 2007.",
  series = "Lecture Notes in Computer Science",
}