@inproceedings{bingham-condon-hu03,
	author = "Jesse D. Bingham and Anne Condon and Alan J. Hu",
	title = "Toward a Decidable Notion of Sequential Consistency",
	booktitle = "15th Annual ACM Symposium on Parallelism in Algorithms
		and Architectures",
	year = 2003,
	organization = "ACM",
	pages = "304--313"
}