Added a link to the CRDT paper