The Theory and Practice of Concurrency (1998)

by A W Roscoe