Pablo Garralda Adriana B. Compagnoni Mariangiola Dezani-Ciancaglini BASS: boxed ambients with safe sessions. 61-72 2006 conf/ppdp/2006 PPDP http://doi.acm.org/10.1145/1140335.1140344 db/conf/ppdp/ppdp2006.html#GarraldaCD06