Colette Rolland Christian Richard Transactions Modeling in Distributed Environments. 197-216 1982 DDB db/conf/ddb/ddb82.html#RollandR82