Descriptional Complexity of Formal Systems 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings Holzer Markus Heftet / 2011 / Engelsk