Fine−Grain Concurrency - Hoare, T (Springer, 2008)