Peter van Emde Boas Complexity of linear problems. 117-120 1979 FCT db/conf/fct/fct79.html#Boas79