Communicating sequential processes. - Hoare, C.A.R. (Prentice-Hall, Inc., 1985)