Digest of papers : the Twenty-Third International Symposium on Fault-Tolerant Computing : FTCS 23, June 22-24, 1993, Toulouse, France