Nestmann, U.; Hüttel, H.; Kleist, J.; Merro, M. Aliasing Models for Mobile Objects. BRICS 1999, 6.