Developments in concurrency and communication - Hoare, C. A. R. 1934- (UT Year of Programming Series, 1990)