On the expressive power of movement and restriction in pure mobile ambients
scientific article; zbMATH DE number 2106001