Don’t know what went wrong there—I have the paper now. Turns out I’m quite wrong, this idea is credited to:
P. van Emde Boas (1990), Machine models and simulations, in Handbook of Theoretical Computer Science, Vol. A, J. van Leeuwen, ed., Elsevier, Amsterdam, pp. 1–66.
Don’t know what went wrong there—I have the paper now. Turns out I’m quite wrong, this idea is credited to:
P. van Emde Boas (1990), Machine models and simulations, in Handbook of Theoretical Computer Science, Vol. A, J. van Leeuwen, ed., Elsevier, Amsterdam, pp. 1–66.