Descriptional complexity of formal systems 23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings - Han, Yo-Sub; Ko, Sang-Ki (Springer, 2021)