Finite automata - Lawson, Mark V. (Chapman & Hall/CRC, 2004)