Integrity and recovery in computer systems - Gibbons, Terry (NCC Publ., 1976)