Searching protocol for "state-machine-replication"
Build fault-tolerant distributed systems
Design distributed systems like Lamport.