Stone coalgebras - Kupke, Clemens; Kurz, Alexander; Venema, Yde (Inst. for Logic, Language and Computation, 2003)