@InProceedings{YBH,
  author =   {Nobuko Yoshida and Martin Berger and Kohei Honda},
  title =   {Strong {N}ormalisation in the $\pi$-{C}alculus},
  booktitle =   {Proc.~LICS'01},
  pages= {311--322},
  publisher= {IEEE},
  year =   {2001},
  note = {The full version to appear in {\em Journal of Inf.~\& Comp.}.}
}