Design of trellis codes for source coding with side information at the decoder | IEEE Conference Publication | IEEE Xplore