Kleist, J.; Sangiorgi, D. Imperative Objects and Mobile Processes. BRICS 1998, 5.