Fault-tolerant computing : THEORY AND TECHNIQUES. VOL. 1. - Pradhan, Dhiraj K. (Prentice-Hall, Inc, 1986)