Fault-Tolerant computing theory and techniques - Pradhan Dhiraj K (1986)