Fault-tolerant distributed computing - Simons, B.; Spector, Alfred Z. (Lecture notes in computer science ;)