Paxos Made Simple
Impossibility of distributed consensus with one faulty process