Transactions Modelling In Distributed Environments. - Colette Rolland; M. Vitali (ICDCS, 1982)