AUTOMATA, LANGUAGES AND PROGRAMMING - Nivat, M. (North-Holland Publishing Company, 1973)