Process Algebra,'' Cambridge Univ (1990)

by J C M Baeten, W P Weijland