-S. Osaki/T. Nishio: Reliability Evaluation of Some Fault-Tolerant Computer Architectures, Springer-Verlag 1980