by C. A. R. Hoare
A landmark book describing a process algebra (Communicating Sequential Processes, or CSP) for designing algorithms that exploit concurrency and communication.