Nesting analysis of mobile ambients
scientific article; zbMATH DE number 2116452
scientific article