Mazur, M., & Oprocha, P. (2015). Subshifts, rotations and the specification property. Topological Methods in Nonlinear Analysis, 46(2), 799–812. https://doi.org/10.12775/TMNA.2015.077