Martin Berger Kohei Honda Nobuko Yoshida Genericity and the pi-calculus. 83-141 2005 42 Acta Inf. 2-3 http://dx.doi.org/10.1007/s00236-005-0175-1 db/journals/acta/acta42.html#BergerHY05