Towards a Theory of Parallel Programming - Hoare, C (Academic Press, 1972)