A Calculus of Distributed and Parallel Processes - Cap, Clemens H. (Vieweg+Teubner Verlag, 2000)