Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : Proceedings - Konstantinidis, Stavros (edición) ((Lecture Notes in Computer Science ; Theoretical Computer Science and General Issues))