@inproceedings{VP02,
   author = {M.G. Vigliotti and I.C.C. Phillips},
   title = {Barbs and congruences for Safe Mobile Ambients},
   booktitle = {Proceedings of F-WAN: Workshop on Foundations of Wide Area
      Network Computing, Malaga, July 2002},
   series = {Electronic Notes in Theoretical Computer Science},
   publisher = {Elsevier},
   volume = 66,
   number = 3,
   year = 2002
}