An authenticated Byzantine generals algorithm with early stopping - Perry, Kenneth J.; Toueg, Sam (1984)