Tuosto, Emilio and Torres Vieira, Hugo   An observational model for spatial logics.  Electronic Notes in Theoretical Computer Science, 142.  pp. 229-254.  ISSN 1571-0661      (2006)