Extension of source coding theorems for block codes to sliding-block codes | IEEE Journals & Magazine | IEEE Xplore