Title: Samoproveri͡aemye ustroĭstva i otkazoustoĭchivye sistemy
Subjects: Fault-tolerant computing