Book by Andreas Malcher

Descriptional Complexity of Formal Systems