J. Renz: "Qualitative Spatial reasoning with Topological Information, LNCS 2293"; Springer, Berlin, 2002, ISBN: 3-540-43346-5; 190 pages.