Egenhofer, M.F. and Franzosa, R.D., Point Set Topological Spatial Relations, International Journal of Geographical Information Systems, vol 5, no 2, 161-174, 1991.