The Java memory model (2005)

by Jeremy Manson, William Pugh, Sarita V Adve
Venue:In 32nd ACM Symposium on Principles of Programming Languages (POPL