Title: Digest of papers 1975 International Symposium on Fault-TolerantComputing