@article{HoareMoellerStruthetal.2009,
  author    = {C. A. R. Tony Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman},
  title     = {Concurrent Kleene Algebra},
  journal   = {Lecture Notes in Computer Science},
  volume    = {5710},
  pages     = {399 -- 414},
  doi       = {10.1007/978-3-642-04081-8_27},
  year      = {2009},
}