chuffed on huffman

Huffman Codes
Huffman's greedy algorithm
A correctness proof of Huffman algorithm - in ML!
Practical Huffman coding
Compression, part 4: The needed glue
Compression and the Huffman Code