Book

Pi-Calculus

by Davide Sangiorgi, David Walker - undifferentiated