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