Karp, Richard M. (1972), "Reducibility Among Combinatorial Problems"(PDF), in Miller, R. E.; Thatcher, J. W. (eds.), Complexity of Computer Computations, New York: Plenum, pp. 85–103, archived from the original(PDF) on June 29, 2011, retrieved September 28, 2009
Yamada, H. (1962). "Real-Time Computation and Recursive Functions Not Real-Time Computable". IEEE Transactions on Electronic Computers. EC-11 (6): 753–760. doi:10.1109/TEC.1962.5219459.
Karp, Richard M. (1972), "Reducibility Among Combinatorial Problems"(PDF), in Miller, R. E.; Thatcher, J. W. (eds.), Complexity of Computer Computations, New York: Plenum, pp. 85–103, archived from the original(PDF) on June 29, 2011, retrieved September 28, 2009