The Pi-Calculus by David Walker & Davide Sangiorgi