Pi-Calculus by Davide Sangiorgi, David Walker - undifferentiated | Lex | Lex