Implementing Fault-Tolerant Services Using the State Machine Approach: A TutorialFred B. Schneider • December 1990PDFLink