Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn: Developments in Concurrent Kleene Algebra. RAMiCS 2014: 1-18