An upper bound on the rate distortion function for source coding with partial side information at the decoder | IEEE Journals & Magazine | IEEE Xplore