Descriptional Complexity of Formal Systems - HospodÃ¡r; Jirásková, Galina; Konstantinidis, Stavros (Springer International Publishing, 2019)