Rate-distortion function for finite block codes: analysis of symmetric binary hamming problem | IEEE Conference Publication | IEEE Xplore