@article{HoareMoellerStruthetal.2009,
  author    = {C. A. R. Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman},
  title     = {Foundations of concurrent Kleene Algebra},
  journal   = {Lecture Notes in Computer Science},
  volume    = {5827},
  pages     = {166 -- 186},
  doi       = {10.1007/978-3-642-04639-1_12},
  year      = {2009},
}