Parallel Processing: Theoretical Foundations - Hoare, C (2015)