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