Shallit, J. A Second Course in Formal Languages and Automata Theory - Cambridge Cambridge University Press 2009 - xi, 240p. ISBN: 978-0-521-86572-2