@article{HoarevanStadenMoelleretal.2014,
  author    = {Tony Hoare and Stephan van Staden and Bernhard M{\"o}ller and Georg Struth and Jules Villard and Huibiao Zhu and Peter O'Hearn},
  title     = {Developments in Concurrent Kleene Algebra},
  journal   = {Lecture Notes in Computer Science},
  volume    = {8428},
  pages     = {1 -- 18},
  doi       = {10.1007/978-3-319-06251-8_1},
  year      = {2014},
}