Automata theory with modern applications - Anderson, James A.; Head, Tom (University Press, 2006)