Helle Hvid Hansen, Fabio Zanasi Coalgebraic Methods in Computer Science - Springer Springer 2022 ISBN: 9783031107368 Source: EBOOK