Rida A. Bazzi Synchronous Byzantine Quorum Systems. 45-52 2000 13 Distributed Computing 1 http://link.springer.de/link/service/journals/00446/bibs/0013001/00130045.htm db/journals/dc/dc13.html#Bazzi00