S. Burckhardt and D. Leijen, Semantics of Concurrent Revisions, Proceedings of the 20th European Conference on Programming Languages and Systems: Part of the Joint European Conferences on Theory and Practice of Software, pp.116-135, 2011.
DOI : 10.1007/11737414_1

J. R. Driscoll, N. Sarnak, D. D. Sleator, and R. E. Tarjan, Making data structures persistent, Journal of Computer and System Sciences, vol.38, issue.1, pp.86-124, 1989.
DOI : 10.1016/0022-0000(89)90034-2

A. Madhavapeddy, R. Mortier, C. Rotsos, D. Scott, B. Singh et al., Unikernels: Library operating systems for the cloud, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, pp.461-472, 2013.

C. Okasaki, Purely Functional Data Structures, p.9813847, 1996.
DOI : 10.1017/CBO9780511530104

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29

URL : https://hal.archives-ouvertes.fr/inria-00609399