Automata, languages, and machines - Eilenberg, Samuel; Tilson, Bret (New York (N.Y.) : Academic press, 1976)