A. G. Cohn:
Modal and Non Modal Qualitative Spatial Logics.
pp 87-92