@techreport{HoareMoellerStruthetal.2009,
  author    = {Charles Antony Richard Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman},
  title     = {Concurrent Kleene algebra},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  series    = {Reports / Technische Berichte der Fakult{\"a}t f{\"u}r Angewandte Informatik der Universit{\"a}t Augsburg},
  number    = {2009-04},
  year      = {2009},
}