@article{Moeller2004,
  author    = {Bernhard M{\"o}ller},
  title     = {Lazy Kleene Algebra},
  journal   = {Lecture Notes in Computer Science},
  volume    = {3125},
  pages     = {252 -- 273},
  doi       = {10.1007/978-3-540-27764-4_14},
  year      = {2004},
}