B. Simons;A. Spector
-;-
The consensus problem in fault-tolerant computing
ACM Computing Surveys (CSUR)