Developments in concurrency and communication - Hoare, Charles A.R (Addison-Wesley Publishing Company, 1990)