Combining Asynchronous and Synchronous Byzantine Agreement:

External Document