Bart Jacobs

Introduction to Coalgebra

Foundations of Software Science and Computation Structures