1. Atul Adya, Barbara Liskov, and Patrick E. O'Neil. 2000. Generalized isolation level definitions. In Proc. of the 16th Int. Conf. on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000. IEEE Computer Society, 67--78.
2. Elle
3. On the complexity of checking transactional consistency;Biswas Ranadeep;Proc. ACM Program. Lang., 3, OOPSLA,2019
4. Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. 2015. A framework for transactional consistency models with atomic visibility. In 26th Int. Conf. on Concurrency Theory, CONCUR 2015 (LIPIcs). Vol. 42, 58--71.
5. Nadime Francis et al. 2018. Cypher: an evolving query language for property graphs. In SIGMOD Conference. ACM, 1433--1445.