Design and implementation of an efficient priority queue - Emde Boas, Peter van; Kaas, R.; Zijlstra, E. (1975)