Coalgebraic Methods in Computer Science - Cîrstea, Corina (Springer International Publishing, 2020)