Fine−grain concurrency - Hoare, T (2010)