M. Biely: "Towards an optimal algorithm for hybrid Byzantine agreement."; Report for Technical Report 183/1-130, Department of Automation, Technische Universität Wien, www.auto.tuwien.ac.at/Projects/W2F/papers.html; 2003.