L. J. Guibas, E. M. Mccreight, M. F. Plass, and J. R. Roberts, A new representation for linear lists, Proceedings of the ninth annual ACM symposium on Theory of computing , STOC '77, pp.49-60, 1977.
DOI : 10.1145/800105.803395

C. Okasaki, Purely functional data structures, 1999.
DOI : 10.1017/CBO9780511530104

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.505

C. Okasaki, From fast exponentiation to square matrices, Proceedings of the fourth ACM SIGPLAN international conference on Functional programming -ICFP '99, pp.28-35, 1999.

E. W. Myers, An applicative random-access stack, Information Processing Letters, vol.17, issue.5, pp.241-248, 1983.
DOI : 10.1016/0020-0190(83)90106-0