Paxos made simple (2001)

by L Lamport
Venue:ACM SIGACT News (Distributed Computing Column