Donald E. Knuth and Peter van Emde Boas on priority deques (1977) [pdf]