Automata theory and its application - Khoussainov (Springer, 2010)