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