M. Pinsker et al.: "Canonical Functions: a proof via topological dynamics"; CoRR - Computing Research Repository, abs/1610.09660 (2016).