Matthew J. Weinstein Thomas W. Page Jr. Brian Livezey Gerald J. Popek Transactions and Synchronization in a Distributed Operating System. 115-126 1985 SOSP db/conf/sosp/sosp85.html#WeinsteinPLP85