A Model for Communicating Sequential Processes - Hoare, C (1978)