@article{MoellerStruth2004,
  author    = {Bernhard M{\"o}ller and Georg Struth},
  title     = {Modal Kleene Algebra and partial correctness},
  journal   = {Lecture Notes in Computer Science},
  volume    = {3116},
  pages     = {379 -- 393},
  doi       = {10.1007/978-3-540-27815-3_30},
  year      = {2004},
}