Birgit Baum-Waidner: Entwurf von byzantinischen Übereinstimmungsprotokollen mit minimaler Nachrichtenzahl im fehlerfreien Fall. Karlsruhe Institute of Technology, Germany 1992, 1-147