Stone coalgebras (2003)

by C Kupke, A Kurz, Y Venema
Venue:Coalgebraic Methods in Computer Science (CMCS’03), ENTCS