Francesca Levi Sergio Maffeis On abstract interpretation of Mobile Ambients. 179-240 2004 188 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2003.06.001 db/journals/iandc/iandc188.html#LeviM04