Descriptional Complexity of Formal Systems : 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings - Markus Holzer, Martin Kutrib, Giovanni Pighizzini ((Lecture Notes in Computer Science))