https://123dok.net/document/q5mpl1v3-the-transitivity-problem-of-turing-machines.html