1. The correctness proof of Ben-Or’s randomized consensus algorithm
2. Handbook of Applied Cryptography
3. Y. Amir and J. Stanton. The spread wide area group communication system. Technical Report, TR CNDS-98-4, the Center for Networking and Distributed Systems, Johns Hopkins University, 1998.
4. J. Aspnes, C. Jackson, and A. Krishnamurthy. Exposing computationally-challenged byzantine impostors. Department of Computer Science, Technical Report, Yale University, New Haven, CT, 2005.