Descriptional Complexity of Formal Systems - Holzer, Markus; Kanade, Takeo; Kutrib, Martin; Pighizzini, Giovanni (Springer Berlin Heidelberg, 2011)