Applications of process algebra - Baeten, J. C. M. (Cambridge tracts in theoretical computer science, 2004)