On the redundancy of optimal binary prefix-condition codes for finite and infinite sources (Corresp.) | IEEE Journals & Magazine | IEEE Xplore