Descriptional Complexity of Formal Systems - Yo-Sub Han, Sang-Ki Ko (Springer, 2021)