Integrity and recovery in computer systems - Gibbons, Terry 1948- (Information systems analysis and design series, 1976)