Jan-Willem Maessen Arvind Xiaowei Shen Improving the Java memory model using CRF. 1-12 2000 OOPSLA http://doi.acm.org/10.1145/353171.353172 db/conf/oopsla/oopsla2000.html#MaessenAS00