Communicating and mobile systems: the π-calculus (1999)

by R Milner