Finite Automata by Mark V. Lawson