A Theory of Conjunction and Concurrency - Hoare, C (1990)