Hoare, C.A.R. Communicating sequential processes - Prentice Hall International, New Jersey 1985 - 256 ISBN: 0-13-153289-8 Dewey Class. No.: 001.6425 Hoa