The Theory and Practice of Concurrency (1997)

by A W Roscoe, C A R Hoare, Richard Bird
Venue:PTR, Upper Saddle River