Markus Holzer

Descriptional Complexity of Formal Systems Lecture Notes in Computer Science Theoretical Computer Sci