Daniela Petri?an, Jurriaan Rot Coalgebraic Methods in Computer Science - Springer Springer 2020 ISBN: 9783030572013 Source: EBOOK