Polynomial Time Synthesis of Byzantine Agreement. - Sandeep S. Kulkarni; Anish Arora; Arun Chippada (SRDS, 2001)