@inproceedings{OSDI-2000-CastroL,
	acmid         = "1251248",
	author        = "Miguel Castro and Barbara Liskov",
	booktitle     = "{Proceedings of the Fourth Symposium on Operating Systems Design and Implementation}",
	isbn          = "1-880446-16-2",
	pages         = "273--288",
	publisher     = "{USENIX Association}",
	title         = "{Proactive Recovery in a Byzantine-Fault-Tolerant System}",
	year          = 2000,
}