Finite–State Source–Channel Coding for Individual Source Sequences With Source Side Information at the Decoder | IEEE Journals & Magazine | IEEE Xplore