Communicating sequantial processes - Hoare, C. A. (Prentice-Hall, 1985)