Vcsn  2.5
Be Rational
Vcsn Documentation