The analysis of a practical and nearly optimal priority queue (Outstanding dissertations in the computer sciences)