Applied automata theory - Tou Julis T Ed. (1968)