Universal coalgebra: a theory of systems (0)

by Jan J M M Rutten
Venue:Theoretical Computer Science