Asynchronous consensus and Byzantine protocols in faulty environments - Bracha, Gabriel; Toueg, Sam (Cornell University <Ithaca, NY>, 1983)