Communicating sequential processes - Hoare, C.A.R. (Prentice Hall International, New Jersey, 1985)