Mongruences and Cofree Coalgebras (1995)

by Bart Jacobs
Venue:Algebraic Methods and Software Technology, number 936 in Lect. Notes Comp. Sci