Relational data base design using refinement rules C. Batini; A. d'Atri — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications