Universal coalgebra and categories of transition systems (1970)

by R C Davis
Venue:Math. Systems Theory