Linda Brodo Pierpaolo Degano Corrado Priami Reflecting Mobile Ambients into the p-Calculus. 25-56 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2874&spage=25 2003 conf/global/2003 Global Computing db/conf/global/global2003.html#BrodoDP03