@article{DesharnaisMoellerStruth2006,
  author    = {Jules Desharnais and Bernhard M{\"o}ller and Georg Struth},
  title     = {Kleene algebra with domain},
  journal   = {ACM Transactions on Computational Logic},
  volume    = {7},
  number    = {4},
  pages     = {798 -- 833},
  doi       = {10.1145/1183278.1183285},
  year      = {2006},
}