Kurz, A. & Poiger, W., sep.-2023, 10th Conference on Algebra and
Coalgebra in Computer Science, CALCO 2023. Baldan, P. & de
Paiva, V. (uitgave). Schloss Dagstuhl--Leibniz-Zentrum
für Informatik, 17. (Leibniz International Proceedings
in Informatics, LIPIcs; vol. 270).