Covarieties and complete covarieties, Coalgebraic Methods (1998)

by H P Gumm, T Schroeder
Venue:in Computer Science