@article{Moeller2007,
  author    = {Bernhard M{\"o}ller},
  title     = {Kleene getting lazy},
  journal   = {Science of Computer Programming},
  volume    = {65},
  number    = {2},
  pages     = {195 -- 214},
  doi       = {10.1016/j.scico.2006.01.010},
  year      = {2007},
}