Fred B. Schneider. The State Machine Approach: A Tutorial. In Barbara B. Simons, Alfred Z. Spector, editors, Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]. Volume 448 of Lecture Notes in Computer Science, pages 18-41, Springer, 1986.
Abstract is missing.