Coding theorems on the worst-case redundancy of fixed-length coding for a general source | IEEE Conference Publication | IEEE Xplore