and W.P.Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 (1990)

by J C M Baeten