Universal coalgebra: a theory of systems (0)

by J Rutten
Venue:Theor. Comp. Sci