Reliability evaluation of some fault-tolerant computer architectures - Osaki, Shunji (Lecture Notes in Computer Science, 1980)