G. Ammons, R. Bodík, and J. R. Larus, Mining specifications, Proc. 29 th ACM Symp. on Principles of programming languages, 2002.

P. Cederqvist and R. Pesch, Version management with CVS, date unknown

S. Dar, M. J. Franklin, B. Jónsson, D. Srivastava, and M. Tan, Semantic data caching and replacement, Proc. VLDB'96, pp.330-341, 1996.

D. Engler, D. Y. Chen, and A. Chou, Bugs as inconsistent behavior: A general approach to inferring errors in systems code, Proc. 18 th Symp. on Op. Sys. Principles, pp.57-72, 2001.

H. R. Nielson, F. Nielson, and C. Hankin, Principles of Program Analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

E. Yannis, R. Ioannidis, and . Ramakrishnan, Containment of conjunctive queries: beyond relations as sets, ACM Transactions on Database Systems (TODS), vol.20, issue.3, pp.288-324, 1995.

P. Keleher, Decentralized replicated-object protocols, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing , PODC '99, 1999.
DOI : 10.1145/301308.301345

P. Kumar and M. Satyanarayanan, Flexible and safe resolution of file conflicts, Proc. USENIX Winter Tech. Conf, 1995.

D. Lacey, N. D. Jones, E. Van-wyk, and C. C. Frederiksen, Proving correctness of compiler optimizations by temporal logic, Proc. 29 th ACM Symp. on Principles of Programming Languages, pp.283-294, 2002.

J. Munson and P. Dewan, A flexible object merging framework, Proceedings of the 1994 ACM conference on Computer supported cooperative work , CSCW '94, pp.231-242, 1994.
DOI : 10.1145/192844.193016

. Oracle, Pl/sql user's guide and reference -release 8, 1997.

S. Phatak and B. R. Badrinath, Multiversion reconciliation for mobile databases, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337), pp.582-589, 1999.
DOI : 10.1109/ICDE.1999.754974

N. Preguiça, J. L. Martins, M. Cunha, and H. Domingos, Reservations for Conflict Avoidance in a Mobile Database System, Proceedings of the 1st international conference on Mobile systems, applications and services, MobiSys '03, pp.43-56, 2003.
DOI : 10.1145/1066116.1189038

N. Preguiça, M. Shapiro, and J. Martins, Sqlicecube: Automatic sematics-based reconciliation for mobile databases, 2003.

N. Preguiça, M. Shapiro, and C. Matheson, Efficient semantics-aware reconciliation for optimistic write sharing, 2002.

Y. Saito and M. Shapiro, Replication: Optimistic approaches, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00444765

C. Sun and C. Ellis, Operational transformation in real-time group editors, Proceedings of the 1998 ACM conference on Computer supported cooperative work , CSCW '98, p.59, 1998.
DOI : 10.1145/289444.289469

D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer et al., Managing update conflicts in Bayou, a weakly connected replicated storage system, Proc. 15th Symp. on Op. Sys. Principles, Copper Mountain CO (USA), 1995.

E. William and . Weihl, Commutativity-based concurrency control for abstract data types, IEEE Transactions on Computers, vol.37, issue.12, pp.1488-1505, 1988.