Vcsn  2.3
Be Rational
Vcsn Documentation