Readings in conflict-free replicated data types