Automata, languages and programming / M. Nivat - Nivat. M