Optimal purely functional priority queues (1996)

by G S Brodal, C Okasaki
Venue:J. Functional Programming