Brodal, G. S.; Okasaki, C. Optimal Purely Functional Priority Queues. BRICS 1996, 3.