Fault-Tolerant Agreement in Synchronous Message-Passing Systems by Michel Raynal