Nestmann, Uwe, Hans Hüttel, Josva Kleist, and Massimo Merro. 1999. “Aliasing Models for Mobile Objects”. BRICS Report Series 6 (44). https://doi.org/10.7146/brics.v6i44.20114.