Page "Kraft's inequality" Paragraph 5

Kraft's inequality was published by.

However, Kraft's paper discusses only prefix codes, and attributes the analysis leading to the inequality to Raymond Redheffer.

The inequality is sometimes also called the Kraft – McMillan theorem after the independent discovery of the result by ; McMillan proves the result for the general case of uniquely decodable codes, and attributes the version for prefix codes to a spoken observation in 1955 by Joseph Leo Doob.