A proof of the separability of prefiltering and coding (Corresp.) | IEEE Journals & Magazine | IEEE Xplore