Coalgebraic Methods in Computer Science - Daniela Petri?an, Jurriaan Rot (Springer, 2020)