@article{JoRMiCS-01:Desharnais-etal,
  author    = {Jules Desharnais and Bernhard M\"o{}ller and Georg Struth},
  title     = {{Modal Kleene Algebra and Applications --- A Survey ---}},
  journal   = {JoRMiCS},
  volume    = 1,
  pages     = {93--131},
  year      = 2004}