Descriptional Complexity of Formal Systems : 25th IFIP WG 1. 02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings - Bordihn, Henning; Tran, Nicholas; Vaszil, György (Cham Springer, 2023)