Descriptional Complexity of Formal Systems - Hutchison, David; Kanade, Takeo; Moreira, Nelma; Reis, Rogério (Springer Berlin Heidelberg, 2012)