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 (Springer, 2023)