Automata Theory and its Applications - Khoussainor, Bakhadyr (Springer, 2009)