Purely functional, real-time deques with catenation (1999)

by H Kaplan, R E Tarjan
Venue:J. of the ACM