Hoare (1978) -- Communicating Sequential Processes.pdf