Coalgebraic Methods in Computer Science : 16th IFIP WG 1. 3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings - Hansen, Helle Hvid. (Springer International Publishing AG, 2022)