Peter van Emde Boas Machine Models and Simulation. 1-66 1990 Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) db/books/collections/leeuwen90.html#Boas90