@inproceedings{PV02,
   author = {I.C.C. Phillips and M.G. Vigliotti},
   title = {On reduction semantics for the push and pull ambient calculus},
   booktitle = {Proceedings of IFIP International Conference on Theoretical
      Computer Science ({TCS} 2002), IFIP 17th World Computer Congress,
      August 2002, Montreal},
   publisher = {Kluwer},
   pages = {550-562},
   year = 2002
}