Reading material

C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, August 1978.