Developments in concurrency and communication. - Hoare, Charles Antony Richard (Addison-Wesley Publishing Co., 1990)