A theory of communicating sequential processes (1984)

by S. D. Brookes, C. A. R. Hoare, A. W. Roscoe