A. Z. Lieberman. Mechanized Analysis of Entity-Relationship Design Databases. In Peter P. Chen, editor, Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach. pages 641-663, North-Holland, 1979. [doi]
Abstract is missing.