On abstract interpretation of mobile ambients
scientific article; zbMATH DE number 2118431
scientific article