Daniela Petrisan, Jurriaan Rot: Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12094, Springer 2020, ISBN 978-3-030-57200-6