G. S. Brodal and C. Okasaki, “Optimal Purely Functional Priority Queues”, BRICS, vol. 3, no. 37, Jun. 1996.