Cited publications in Handbook of theoretical computer science (vol. A): algorithms and complexity:Machine models and simulations (1991)