Implementation and Application of Automata - Cezar Câmpeanu (Springer, 2018)