Vcsn  2.4
Be Rational
Vcsn Documentation