Digest of papers International Symposium on Fault-Tolerant Computing (Institution of Electrical and Electronics Engineers, 1972)