Digest of papers fault-tolerant computing: 10th international symposium : Konf. FTCS 10 Digest of papres, 1.- 3. Oct. 1980 (Institute of Electrical and Electronics Engineers, 1980)