Arie Segev:
Transitive Dependencies: Comments on "A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model" (Surveyors' Forum).
191-193 ,
see ACM Computing Surveys 18(2):
197-222
"Formal Models of Stepwise Refinement of Programs".
195 ,
see ACM Computing Surveys 18(3):
231-276
Volume 19,
Number 3,
September 1987
Richard Hull, Roger King:
Semantic Database Modeling: Survey, Applications, and Research Issues.
201-260