René Rydhof Hansen Jacob Grydholt Jensen Flemming Nielson Hanne Riis Nielson Abstract Interpretation of Mobile Ambients. 134-148 1999 conf/sas/1999 SAS http://link.springer.de/link/service/series/0558/bibs/1694/16940134.htm db/conf/sas/sas99.html#HansenJNN99