Chapter 4 A Guided Tour on the Theory and Practice of State Machine Replication
Efficient Byzantine Fault-Tolerance