Source coding theorem and its converse with side information
scientific article; zbMATH DE number 3691225