Implementation and Application of Automata - Yo-Sub Han, Kai Salomaa (Springer, 2016)