- @inproceedings{JavaMemoryModel:Manson@POPL05,
 author = {Manson, Jeremy and Pugh, William and Adve, Sarita V.},
 title = {The Java Memory Model},
 booktitle = {Proceedings of the 32Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '05},
 year = {2005},
 location = {Long Beach, California, USA},
 pages = {378--391},
 numpages = {14},
 publisher = {ACM},
} 

- @inproceedings{C++Memory:Boehm@PLDI08,
 author = {Boehm, Hans-J. and Adve, Sarita V.},
 title = {Foundations of the C++ Concurrency Memory Model},
 booktitle = {Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series = {PLDI '08},
 year = {2008},
 location = {Tucson, AZ, USA},
 pages = {68--78},
 numpages = {11},
 publisher = {ACM},
} 
