COMMUNICATING SEQUENTIAL PROCESSES - Hoare, Charles Antony Richard (Prentice-Hall, 1985)