Closed forms of the achievable rate region for Wyner's source coding systems | IEEE Conference Publication | IEEE Xplore