Process algebra - Weijland, W. P.; Baeten, J. C. M. (Cambridge tracts in theoretical computer science, 1990)