Jules Desharnais, Bernhard Möller: Characterizing Functions in Kleene Algebras. RelMiCS 2000: 55-64