C. Baldissera, Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi. Interactive Specification and Formal Verification of User s Views in Data Bases Design. In Antonio L. Furtado, Howard L. Morgan, editors, Fifth International Conference on Very Large Data Bases, October 3-5, 1979, Rio de Janeiro, Brazil, Proceedings. pages 262-272, IEEE Computer Society, 1979. [doi]
Abstract is missing.