Purely Functional, Real-Time Deques with Catenation (1999)

by Haim Kaplan, Robert E. Tarjan
Venue:Journal of the ACM