C. A. R. Hoare A Theory of Conjunction and Concurrency. 18-30 1990 PARBASE / Architectures db/conf/parbase/parbase90-2.html#Hoare90