1. Interactive specification and formal verification of user's views in data base design;Baldissera,1979
2. Workshop on data abstraction, databases and conceptual modelling,1981
3. Methodology and Tools for Data Base Design,1983
4. A structured methodology for the design of static and dynamic aspects of database applications;Ceri;Inform. Systems,1981
5. The Entity Relationship model: toward a unified view of data;Chen;ACM TODBS,1976