Alexander Borgida, Harry K. T. Wong. Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. In Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. pages 260-271, IEEE Computer Society, 1981. [doi]
Abstract is missing.