@conference {16361,
	title = {Finding concurrency bugs in java},
	booktitle = {Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs, St. John{\textquoteright}s, Newfoundland, Canada},
	year = {2004},
	month = {2004///},
	author = {Hovemeyer,D. and Pugh, William}
}
