@conference {16346,
	title = {Core semantics of multithreaded Java},
	booktitle = {Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande  - JGI {\textquoteright}01},
	year = {2001},
	month = {2001///},
	pages = {29 - 38},
	address = {Palo Alto, California, United States},
	doi = {10.1145/376656.376806},
	url = {http://dl.acm.org/citation.cfm?id=376806},
	author = {Manson,Jeremy and Pugh, William}
}
