Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: Handbook of Spatial Logics. Springer 2007, ISBN 978-1-4020-5586-7