Applications of process algebra / - Baeten, J. C. M. (Cambridge University Press,, 1990)