Cited publications in Journal of Computer and System Sciences:Time bounded random access machines (1973)