When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus - Alysson Neves Bessani (2010)