Applications of process algebra /
Baeten, J. C. M.
Cambridge : Cambridge University Press,
1990.