Communicating and Mobile Systems: the π - Calculus - Milner, Robin (Cambridge University Press, 2001)