Process algebra /
Baeten, J. C. M.
Weijland, W. P.
Cambridge : Cambridge University Press,
1990.