Communicating sequential processes (Prentice-Hall International series in computer science)

Written by C.A.R. Hoare