On the formalization of the semantics of spatial objects - Kemppainen, Hanna (1995)