Fault-tolerant distributed computing - Simons, B; Spector, A (Lecture Notes in Computer Science, 1990)