File and data base techniques - Bradley, James, 1942- (HRW series in computer science, 1982)