Kapali P. Eswaran, Donald D. Chamberlin. Functional Specifications of Subsystem for Database Integrity. In Douglas S. Kerr, editor, Proceedings of the International Conference on Very Large Data Bases, September 22-24, 1975, Framingham, Massachusetts, USA. pages 48-68, ACM, 1975. [doi]
Abstract is missing.