A calculus of mobile processes, parts i and ii, Information and Computation (1992)

by R Milner, J Parrow, D Walker