Case of fault-tolerant memory for transaction processingAnupam BhideDaniel M. Diaset al.1993FTCS 1993