Jean-Luc Hainaut. Entity-Relationship Models: Formal Specification and Comparision. In Hannu Kangassalo, editor, Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), 8-10 October, 1990, Lausanne, Switzerland. pages 53-64, ER Institute, 1990. [doi]
Abstract is missing.