Developments in Concurrency and Communication - Hoare, Charles A.R (University of Texas at Austin Year of Programming Series, 1990)