Universal coalgebra: a theory of systems. Technical report, Centrum voor Wiskunde en Informatica (1996)

by J Rutten