Communicating sequential processes - Hoare, C.A.R (International Series in Computer Science / Prentice-Hall Inc.., 1985)