1. Modelling events in data base applications design;Antonellis,1981
2. The application of the formal development methodology to data base design and integrity verification;Berry,1981
3. Structured Analysis and System Specification;De Marco,1979
4. Algebraic schemes for data base systems;Ehrig,1978
5. Structured Systems Analysis: Tools and Techniques;Gane,1979