Stølting Brodal and Chris Okasaki. Optimal purely functional priority queues (1996)

by Gerth
Venue:Journal of Functional Programming