Peter van Emde Boas Problems. 183-185 1991 12 J. Algorithms 1 db/journals/jal/jal12.html#Boas91