Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings - Konstantinidis, Stavros (Springer Berlin Heidelberg : Imprint: Springer, 2013)