Finite automata - Lawson, Mark, 1962- (Chapman & Hall, 2004)