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