@incollection{DesharnaisMoellerStruth2004,
  author    = {Jules Desharnais and Bernhard M{\"o}ller and Georg Struth},
  title     = {Termination in modal Kleene algebra},
  booktitle = {Exploring new frontiers of theoretical informatics: IFIP 18th World Computer Congress; TC1 3rd International Conference on Theoretical Computer Science (TCS2004); 22 - 27 August 2004, Toulouse, France: WCC 2004},
  editor    = {Jean-Jacques L{\´e}vy},
  isbn      = {1-4020-8140-5},
  year      = {2004},
}