The Next 700 BFT Protocols. - Aublin, Pierre-Louis; Guerraoui, Rachid; Knezevic, Nikola; Quéma, Vivien; Vukolic, Marko (ACM Trans. Comput. Syst., 2015)