KLEIST, J.; SANGIORGI, D. Imperative Objects and Mobile Processes. BRICS Report Series, v. 5, n. 52, 22 Jun. 1998.