Machine models and simulation,” in Handbook of Theoretical Computer Science. volume A: Algorithms and Complexity (1990)

by P van Emde Boas