The Java memory model.

Jeremy Manson, William W. Pugh, Sarita V. Adve

Browse the full POPL paper archive.