Michael L. Brodie Axiomatic definitions for data modes semantics. 183-197 1982 7 Inf. Syst. 2 db/journals/is/is7.html#Brodie82