Roland Glück, Bernhard Möller, Michel Sintzoff: A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS 2009: 134-149