Coalgebraic logic, Annals of Pure and Applied Logic 96 (1999)

by L Moss