Language and Automata Theory and Applications - Drewes (Springer International Publishing, 2017)