@article{MP05,
   author = {S. Maffeis and I.C.C. Phillips},
   title = {On the computational strength of pure ambient calculi},
   journal = {Theoretical Computer Science},
   volume = 330,
   number = 3,
   pages = {501-551},
   year = 2005
}