Interactive Specification and Formal Verification of User's Views in Data Bases Design. - C. Baldissera; Stefano Ceri; Giuseppe Pelagatti; Giampio Bracchi (VLDB, 1979)