https://123dok.net/document/y6em2rxn-on-algorithmic-rate-distortion-function.html