J. Kleist and D. Sangiorgi, “Imperative Objects and Mobile Processes”, BRICS, vol. 5, no. 52, Jun. 1998.