Corina Cîrstea Coalgebraic Methods in Computer Science - Springer Springer 2018 ISBN: 9783030003890 Source: EBOOK