Developments in concurrency and communication - Hoare, C. A. R. 1934-; Hoare, Charles Antony Richard; Hoare, C. A. R. (The UT year of programming series, 1990)