fix no. typo & add links to CRDT

[JYwellin]

Conflict-free Replicated Data Types (CRDT) are replicated data types that encapsulate the mechanisms for resolving concurrent conflicts. we propose a reusable framework for modeling and verifying CRDT protocols.