A Simple Proof of a Simple Consensus Algorithm.

Jayadev Misra A Simple Proof of a Simple Consensus Algorithm. 21-24 1989 33 Inf. Process. Lett. 1 db/journals/ipl/ipl33.html#Misra89