Finite automata - Mark V. Lawson (CRC Press, 2004)