Automata, languages, and machines. - Eilenberg, Samuel; Tilson, Bret (rz1, 1976)