The minimum codeword length and redundancy in the binary Huffman code for uncertain sources | IEEE Journals & Magazine | IEEE Xplore