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