Relational data base design using refinement rulesC. Batini and A. d'AtriRAIRO. Inform. théor., 17 2 (1983) 97-119DOI: https://doi.org/10.1051/ita/1983170200971