Universal coalgebra: a theory of systems, Theoret (2000)

by Jan J M M Rutten
Venue:Comput. Sci