Mazur, M., and P. Oprocha. “Subshifts, Rotations and the Specification Property”. Topological Methods in Nonlinear Analysis, vol. 46, no. 2, Dec. 2015, pp. 799-12, doi:10.12775/TMNA.2015.077.