http://pmg.csail.mit.edu/papers/icde00.pdf
https://www.cs.umb.edu/~poneil/iso.pdf
http://www.bailis.org/blog/understanding-weak-isolation-is-a-serious-problem/
https://ristret.com/s/f643zk/history_transaction_histories
Declarative Programming over Eventually Consistent Data Stores, PLDI 2015
A Framework for Transactional Consistency Models with Atomic Visibility, CONCUR 2015
Robustness against Consistency Models with Atomic Visibility, CONCUR 2016