Nestmann, U., Hüttel, H., Kleist, J. and Merro, M. (1999) “Aliasing Models for Mobile Objects”, BRICS Report Series, 6(44). doi: 10.7146/brics.v6i44.20114.