Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85