On the joint source-channel decoding of variable-length encoded sources: the BSC case | IEEE Journals & Magazine | IEEE Xplore