Coalgebraic Logic (1999)

by Lawrence S. Moss
Venue:Annals of Pure and Applied Logic