A general formula of rate-distortion functions for source coding with side information at many decoders | IEEE Conference Publication | IEEE Xplore