The analysis of a practical and nearly optimal priority queue | lit.salon