Jean-Raymond Abrial Data Semantics. 1-60 1974 IFIP Working Conference Data Base Management db/conf/ds/dbm74.html#Abrial74