[1]
H. Hüttel and J. Kleist, “Objects as Mobile Processes”, BRICS, vol. 3, no. 38, Jun. 1996.