@article{GlueckMoellerSintzoff2009,
  author    = {Roland Gl{\"u}ck and Bernhard M{\"o}ller and Michel Sintzoff},
  title     = {A semiring approach to equivalences, bisimulations and control},
  journal   = {Lecture Notes in Computer Science},
  volume    = {5827},
  pages     = {134 -- 149},
  doi       = {10.1007/978-3-642-04639-1_10},
  year      = {2009},
}