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

by L S Moss