[1] See Hamming 1980 for a discussion of the mathematical properties of Huffman codes.
2.3.4 Example: Huffman Encoding Trees