Design and Implementation of an Efficient Priority Queue. - Peter van Emde Boas; R. Kaas; E. Zijlstra (Math. Syst. Theory, 1977)