Coward A., Lackenby M., “An Upper Bound on Reidemeister Moves”, Am. J. Math., 136:4 (2014), 1023–1066
Mundici D., “Invariant Measure Under the Affine Group Over Z”, Comb. Probab. Comput., 23:2 (2014), 248–268
М. А. Штанько, “К теореме Маркова об алгоритмической нераспознаваемости многообразий”, Фундамент. и прикл. матем., 11:5 (2005), 257–259 ; M. A. Shtan'ko, “To the Markov theorem on algorithmic nonrecognizability of manifolds”, J. Math. Sci., 146:1 (2007), 5622–5623