Universal coalgebra: a theory of systems (0)

by J J M M Rutten
Venue:Theor. Comp. Sci