Luca Cardelli Wide Area Computation. 10-24 http://dx.doi.org/10.1007/3-540-48523-6_2 1999 conf/icalp/99 ICALP db/conf/icalp/icalp99.html#Cardelli99