Descriptional Complexity of Formal Systems - Hospodár (Springer International Publishing, 2019)