Sheldon J. Finkelstein. Algorithms and System Design in the Highly Available Systems Project. In Barbara B. Simons, Alfred Z. Spector, editors, Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]. Volume 448 of Lecture Notes in Computer Science, pages 138-146, Springer, 1986.