Brodal, Gerth Stølting, and Chris Okasaki. 1996. “Optimal Purely Functional Priority Queues”. BRICS Report Series 3 (37). https://doi.org/10.7146/brics.v3i37.20019.