Process algebra - Baeten, J. C. M. 1954- (Cambridge Tracts in Theoretical Computer Science ;, 1990)