The Theory and Practice of Concurrency (1997)

by A W Roscoe