Descriptional Complexity of Formal Systems - Konstantinidis (Springer International Publishing, 2018)