Modularizing the formal description of a database system - Fitzgerald, John S.; Jones, Cliff B. 1944- (Univ., 1990)