Automata, Languages, and Machines - Eilenberg, Samuel; Tilson, Bret (Pure and Applied Mathematics., 1976)