@inproceedings{DBLP:conf/oopsla/MaessenAS00,
author = {Jan-Willem Maessen and
Arvind and
Xiaowei Shen},
title = {Improving the Java memory model using CRF},
booktitle = {OOPSLA},
year = {2000},
pages = {1-12},
ee = {http://doi.acm.org/10.1145/353171.353172},
crossref = {DBLP:conf/oopsla/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2000,
editor = {Mary Beth Rosson and
Doug Lea},
title = {Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented
Programming Systems, Languages {\&} Applications (OOPSLA
2000), Minneapolis, Minnesota, USA, October 15-19, 2000},
booktitle = {OOPSLA},
publisher = {ACM},
year = {2000},
isbn = {1-58113-200-X},
ee = {http://dl.acm.org/citation.cfm?id=353171},
bibsource = {DBLP, http://dblp.uni-trier.de}
}