D. Sangiorgi and D. Walker
,
The ?-calculus, a theory of mobile processes
,
2001
.