C.: Optimal purely functional priority queues (1996)

by G S Brodal, Okasaki
Venue:Journal of Functional Programming