Universal coalgebra: a theory of systems (2000)

by J. J. M. M. Rutten
Citations:305 - 32 self