Descriptional Complexity of Formal Systems - Jurgensen (Springer Berlin Heidelberg, 2013)