Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings - Helmut Jurgensen, Rogério Reis ((Lecture Notes in Computer Science))