Vcsn  2.1
Be Rational
Vcsn Documentation