@ARTICLE{BrOk96,
    author = {Gerth St{\o{}}lting Brodal and Chris Okasaki},
    title = {Optimal Purely Functional Priority Queues},
    journal = {Journal of Functional Programming},
    year = {1996},
    volume = {6},
    pages = {839--857}
}
