Coalgebraic Methods in Computer Science - Helle Hvid Hansen, Fabio Zanasi (Springer, 2022)