Developments in Concurency and Communication - Hoare, Charles A.R (Addison-Wesley, 1990)