Caires, Vieira, 2007. Extensionality of Spatial Observations in Distributed Systems 175.. https://doi.org/10.1016/j.entcs.2006.10.056