Lattices for Distributed Source Coding: Jointly Gaussian Sources and Reconstruction of a Linear Function | IEEE Journals & Magazine | IEEE Xplore