Communicating sequential processes - Hoare, Charles A. (Prentice Hall, 1995)