NoSQL database systems: a survey and decision guidance
Linearizability: a correctness condition for concurrent objects