Communicating sequential processes - Hoare, Charles A. R. 1934- (Prentice-Hall Internat., 1985)