Frontiers of combining systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023 : proceedings - Sattler, Ulrike 1966-; Suda, Martin (Springer, 2023)