Stephen A. Cook, Robert A. Reckhow: Time-Bounded Random Access Machines. STOC 1972: 73-80