Modularizing the Formal Description of a Database System.

John S. Fitzgerald, Cliff B. Jones

Browse the full FM paper archive.