A Commutative Replicated Data Type for Cooperative Editing
Generalized Consensus and Paxos