A second course in formal languages and automata theory - Shallit, Jeffrey O. 1957- (Cambridge Univ. Press, 2009)