Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings - Han, Yo-Sub; Salomaa, Kai (Springer International Publishing : Imprint: Springer, 2016)