Philip Kremer, Grigori Mints: Dynamic Topological Logic. Handbook of Spatial Logics 2007: 565-606