Communicating and Mobile Systems: The Pi Calculus

9780521658690
0-521-65869-1