Elio Giovannetti Ambient Calculi with Types: A Tutorial. 151-191 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2874&spage=151 2003 conf/global/2003 Global Computing db/conf/global/global2003.html#Giovannetti03