Communicating sequential processes (1978)

by C Hoare
Venue:Communications of the ACM