Communicating Sequential Processes (1985)

by C A R Hoare
Venue:International Series in Computer Science