Universal Coalgebra: A Theory of Systems, Theoretical Computer Science 249 (2000)

by J Rutten