Applications of Process Algebra - Baeten, J. C. M. (Cambridge tracts in theoretical computer science ;, 1990)