Rate distortion for source coding with Markov side information at the decoder | IEEE Conference Publication | IEEE Xplore