BRODAL AND CHRIS OKASAKI, Optimal purely functional priority queues (1996)

by GERTH ST├śLTING
Venue:Journal of Functional Programming