hoare2009concurrent:
  type: article
  title: Concurrent {Kleene} Algebra
  author:
  - Hoare, CAR Tony
  - Möller, Bernhard
  - Struth, Georg
  - Wehrman, Ian
  date: 2009
  page-range: 399-414
  parent:
    type: proceedings
    title: CONCUR