Communicating sequential processes (1978)

by C A R Hoare
Venue:Commun. ACM