Casanova, Marco R. and Bernstein, Phillip A. "A Formal System for Reasoning about Programs Accessing a Relational Database" pp386-414

(1980) TOPLAS 2(3) July 1980  

Languages mentioned DDL {1980} Data definition language DML {1980}