The Logical Data Model - Kuper, GM; Vardi, MY (ACM Transactions on Database Systems, 1993)
(3)