Rational Series and Their Languages by Christophe Reutenauer & Jean Berstel