Kharchenko, Vyacheslav S.. Theoretic Foundation of Fault-Tolerant Computer Systems with Multi-Version Redundancy. Kiev: Ministry of Defence, 1996.