Microsoft Research, 2005
Report Technical Paxos
Building consistent transactions with inconsistent replication