On the expressiveness of internal mobility in name-passing calculi
scientific article; zbMATH DE number 1243208