The [π]-calculus : a theory of mobile processes - Sangiorgi, Davide (Cambridge University Press, 2001)