Automata, languages and programming - Nivat, Maurice (North-Holland, 1973)