Finite Automata - Mark V. Lawson (Taylor and Francis, 2003)