Machine Models and Simulations, in: Handbook of Theoretical Computer Science vol A (1990)

by P van Emde Boas