Michael L. Brodie Dzenan Ridjanovic On the Design and Specification of Database Transactions. 277-312 1982 On Conceptual Modelling (Intervale) db/conf/db-workshops/intervale82.html#BrodieR82