Modern applications of automata theory - D'Souza, Deepak; Shankar, P. 1947-2011 (IISc research monographs series ;, 2012)