Improving the java memory model using CRFJan-Willem MaessenArvindet al.2000SIGPLAN Notices (ACM Special Interest Group on Programming Languages)