Implementing Fault-Tolerant Services Using the State Machine Approach: A TutorialFred B. SchneiderDecember 1990PDFExternal link