Leslie Lamport
ACM Transactions on Programming Languages and Systems
Building consistent transactions with inconsistent replication