Specification of stored data structures and desired output results in DIAM II with FORALMichael E. Senko1975VLDB 1975
Functional specifications of a subsystemf or data base integrityKapali P. EswaranDonald D. Chamberlin1975VLDB 1975