Juan A. Garay Yoram Moses Fully polynomial Byzantine agreement in t+1 rounds. 31-41 1993 STOC http://doi.acm.org/10.1145/167088.167101 db/conf/stoc/stoc1993.html#GarayM93