Esta definición fue propuesta por Stephen Cook en 1971.