Tight Bounds on the Redundancy of Huffman Codes | IEEE Conference Publication | IEEE Xplore