Correspondence Between Don Knuth and Peter van Emde Boas on Priority Deques 1977 [pdf]