Rohit Parikh, Lawrence S. Moss, Chris Steinsvold: Topology and Epistemic Logic. Handbook of Spatial Logics 2007: 299-341