Universal coalgebra: a theory of systems,” Theor (2000)

by J J M M Rutten
Venue:Comput. Sci