Asynchronous consensus and Byzantine protocols in faulty environments - Bracha, Gabriel; Toueg, Sam (1983)