intergrity and recovery in computer systems - "gibbons, terry . " (uk : ncc publications, 1976)