A fair calculus of communicating systems - Costa, Gerardo; Stirling, Colin (University <Edinburgh>, 1983)