Elements of automata theory - Sakarovitch, Jacques (Cambridge University Press, 2009)