@InProceedings{BergerM:genatpc,
  author = 	 {Martin Berger and Kohei Honda and Nobuko Yoshida},
  title = 	 {Genericity and the Pi-Calculus},
  booktitle =	 {Proc.~FOSSACS'03},
  year =	 2003
}