Algirdas Avizienis J. Walter Bond III Fault-Tolerance in Large Computing Systems. 9-16 1978 Jerusalem Conference on Information Technology db/conf/jcit/jcit78.html#AvizienisB78