@inproceedings{PLDI-1996-ChandraRL,
	author        = "Satish Chandra and Brad Richards and James R. Larus",
	booktitle     = "{Proceedings of the 17th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/231379.231430",
	editor        = "Charles N. Fischer",
	isbn          = "0-89791-795-2",
	pages         = "237--248",
	publisher     = "{ACM}",
	title         = "{Teapot: Language Support for Writing Memory Coherence Protocols}",
	year          = 1996,
}