@article{HoarevanStadenMoelleretal.2016,
  author    = {Tony Hoare and Stephan van Staden and Bernhard M{\"o}ller and Georg Struth and Huibiao Zhu},
  title     = {Developments in concurrent Kleene algebra},
  journal   = {Journal of Logical and Algebraic Methods in Programming},
  volume    = {85},
  number    = {4},
  pages     = {617 -- 636},
  doi       = {10.1016/j.jlamp.2015.09.012},
  year      = {2016},
}