Modern applications of automata theory - D'Souza, Deepak (IISc Research monographs, 2012)