A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm
Asynchronous consensus and broadcast protocols