Fault-Tolerant Agreement in Synchronous Message-Passing Systems - Raynal, Michel (Synthesis Lectures on Distributed Computing Theory Ser.)