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