Communicating sequential processes - Hoare, C. A. R. 1934- (Prentice-Hall International series in computer science, 1985)