A study of Byzantine fault-tolerant algorithms
Reaching Agreement in the Presence of Faults