@inproceedings{SOSP-1983-MuellerMP,
	author        = "Erik T. Mueller and Johanna D. Moore and Gerald J. Popek",
	booktitle     = "{Proceedings of the Ninth ACM Symposium on Operating System Principles}",
	doi           = "10.1145/800217.806616",
	isbn          = "0-89791-115-6",
	pages         = "71--89",
	publisher     = "{ACM}",
	title         = "{A Nested Transaction Mechanism for LOCUS}",
	year          = 1983,
}