Haim Kaplan;Chris Okasaki;Robert Endre Tarjan
-;-;-
Purely functional, real-time deques with catenation
Journal of the ACM (JACM)
Making data structures confluently persistent
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms