J. Kleist og D. Sangiorgi, “Imperative Objects and Mobile Processes”, BRICS, bd. 5, nr. 52, jun. 1998.