M. Mazur and P. Oprocha, “Subshifts, rotations and the specification property”, TMNA, vol. 46, no. 2, pp. 799–812, Dec. 2015.